publicações selecionadas
-
artigo académico
- An approach for graphical user interface external bad smells detection 2014
- MapIt: A model based pattern recovery tool. Computational Methods in Applied Sciences. 2013
- Can GUI Implementation Markup Languages Be Used for Modelling?. Computational Methods in Applied Sciences. 2012
- A new plant modelling approach for formal verification purposes. IFAC proceedings volumes. 2007
-
artigo de conferência
- Characterizing the Control Logic of Web Applications' User Interfaces. Computational Methods in Applied Sciences. 2014
- Development of Dependable Controllers in the Context of Machines Design. Lecture Notes in Mechanical Engineering. 2014
- Formal verification of safety-critical user interfaces: A space system case study 2014
- Towards a Framework for Adaptive Web Applications. Communications in Computer and Information Science. 2014
- Formal analysis of ubiquitous computing environments through the APEX framework 2012
- Partial plant models in formal verification of industrial automation discrete systems 2011
- Supporting requirements formulation in software formal verification 2011
- Prototipagem rápida de ambientes ubíquos 2010
- The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. Computational Methods in Applied Sciences. 2010
- Pattern-based analysis of automated production systems. IFAC proceedings volumes. 2009
- Property patterns for the formal verification of automated production systems 2008
- Accessibility and visually impaired users 2006
- ICTs in remote assessment 2006
- Laboratórios virtuais: duas aplicações no ensino de engenharia 2005
- Testing AudioBrowser 2005
-
artigo de revista
- Prototyping and analysing ubiquitous computing environments using multiple layers. International Journal of Human Computer Studies. 2014
- A Specification Patterns System for Discrete Event Systems Analysis. International Journal of Advanced Robotic Systems. 2013
-
teses