Browsing by Author José Creissac Campos

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 17 of 52  next >
Issue DateTitleAuthor(s)
2014Analysing interactive devices based on information resource constraintsJosé Creissac Campos; Doherty,G; Michael Douglas Harrison
2014Application of ontologies in identifying requirements patterns in use casesRui Miguel Couto; António Nestor Ribeiro; José Creissac Campos
2014An Approach for Graphical User Interface External Bad Smells DetectionSilva,JC; José Creissac Campos; João Alexandre Saraiva; José Luís Silva
2013Automated theorem proving for the systematic analysis of an infusion pumpMichael Douglas Harrison; Paolo Masci; José Creissac Campos; Curzon,P
2014Characterizing the Control Logic of Web Applications' User InterfacesSilva,CE; José Creissac Campos
2013Combining static and dynamic analysis for the reverse engineering of Web applicationsSilva,CE; José Creissac Campos
2014Demonstrating that Medical Devices Satisfy User Related Safety RequirementsHarrison,MD; Paolo Masci; José Creissac Campos; Curzon,P
2013Depth Cues and Perceived Audiovisual Synchrony of Biological MotionCarlos Loureiro Silva; Mendonca,C; Mouta,S; Silva,R; José Creissac Campos; Santos,J
2014Design and evaluation of a smart library using the APEX frameworkAbade,T; Gomes,T; José Luís Silva; José Creissac Campos
2014Development of Dependable Controllers in the Context of Machines DesignMachado,J; José Creissac Campos
2017Don't go in there! using the APEX framework in the design of ambient assisted living systemsJosé Creissac Campos; Abade,Tiago; Silva,JoseLuis; Harrison,MichaelD.
2013An empirical study on immersive prototyping dimensionsMoreira,S; Rui Peixoto José; José Creissac Campos
2016Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-webFayollas,Camille; Martinie,Celia; Palanque,PhilippeA.; Paolo Masci; Michael Douglas Harrison; José Creissac Campos; Silva,SauloRodriguese
2016Formal Verification of a Space System's User Interface With the IVY WorkbenchJosé Creissac Campos; Sousa,M; Bergue Alves,MCB; Michael Douglas Harrison
2014Formal verification of safety-critical user interfaces: A space system case studySousa,M; José Creissac Campos; Alves,M; Michael Douglas Harrison
2012GUIsurfer: A Reverse Engineering Framework for User Interface SoftwareJoão Alexandre Saraiva; José Creissac Campos; João Carlos Silva; Carlos Silva
2017A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical DevicesPaolo Masci; Zhang,Y; Jones,PL; José Creissac Campos