Items where Institution is :Other partners > Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência - INESC TEC (PORTUGAL)

Fayollas, Camille and Martinie De Almeida, Celia and Palanque, Philippe and Masci, Paolo and Harrison, Michael Douglas and Campos, José Creissac and Rodrigues E Silva, Saulo Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. (2017) In: 3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, 21st International Symposium on Formal Methods, 8 November 2016 - 8 November 2016 (Limassol, Cyprus).

Campos, José Creissac and Fayollas, Camille and Martinie De Almeida, Celia and Navarre, David and Palanque, Philippe and Pinto, Miguel Systematic automation of scenario-based testing of user interfaces. (2016) In: 8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), 21 June 2016 - 24 June 2016 (Bruxelles, Belgium).

Gomes, Tiago and Abade, Tiago and Campos, José Creissac and Harrison, Michael Douglas and Silva, José Luis Desenvolvimento de Jogos Educativos na plataforma APEX : O Jogo da Asma. (2013) In: 5ª edição da Conferência Nacional sobre Interação (2013), 7 November 2013 - 8 November 2013 (Vila Real, Portugal).