Browsing by subject Interactive systems

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 11 of 11.
Issue DateTitleAuthor(s)TypeAccess
2013Uma abordagem para a geração de casos de teste baseada em modelosSilva, João C.; Silva, José Luís Cardoso; Campos, J. Creissac, et al.Conference paperRestricted access (UMinho)
2008Considering context and users in interactive systems analysisCampos, J. Creissac; Harrison, Michael D.Conference paperOpen access
27-Jul-2018Desenvolver o gosto pela matemática e pelo estudo das matemáticas escolares: criação de um protótipo de Sistema Inteligente de Ensino-Aprendizagem no âmbito do PMatE®Ramos, Sandra Isabel DiogoDoctoral thesisOpen access
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArticleOpen access
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Conference paperOpen access
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Conference paperOpen access
Aug-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArticleOpen access
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArticleOpen access
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArticleOpen access
21-Jun-2016Systematic automation of scenario-based testing of user interfacesCampos, José C.; Fayollas, Camille; Martinie, Célia, et al.Conference paperOpen access
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Conference paperOpen access