Sledovať
José Creissac Campos
José Creissac Campos
Department of Informatics, University of Minho & HASLab / INESC TEC
Overená e-mailová adresa na: di.uminho.pt - Domovská stránka
Názov
Citované v
Citované v
Rok
A literature review about usability evaluation methods for e-learning platforms
LL Freire, PM Arezes, JC Campos
Work 41 (Supplement 1), 1038-1044, 2012
1232012
Model checking interactor specifications
JC Campos, MD Harrison
Automated Software Engineering 8, 275-310, 2001
1212001
Systematic analysis of control panel interfaces using formal tools
JC Campos, MD Harrison
International Workshop on Design, Specification, and Verification of …, 2008
1102008
Interaction engineering using the IVY tool
JC Campos, MD Harrison
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
1072009
Formally verifying interactive systems: A review
JC Campos, MD Harrison
Design, Specification and Verification of Interactive Systems’ 97 …, 1997
991997
Model-based user interface testing with spec explorer and concurtasktrees
JL Silva, JC Campos, ACR Paiva
Electronic Notes in Theoretical Computer Science 208, 77-93, 2008
782008
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code
JC Silva, C Silva, RD Gonçalo, J Saraiva, JC Campos
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive …, 2010
762010
Modelling and analysing the interactive behaviour of an infusion pump
JC Campos, MD Harrison
592011
Reusing models and properties in the analysis of similar interactive devices
MD Harrison, JC Campos, P Masci
Innovations in Systems and Software Engineering 11, 95-111, 2015
502015
Development and validation of a descriptive cognitive model for predicting usability issues in a low-code development platform
C Silva, J Vieira, JC Campos, R Couto, AN Ribeiro
Human factors 63 (6), 1012-1032, 2021
492021
Verification of user interface software: the example of use-related safety requirements and programmable medical devices
MD Harrison, P Masci, JC Campos, P Curzon
IEEE Transactions on Human-Machine Systems 47 (6), 834-846, 2017
462017
Combining static and dynamic analysis for the reverse engineering of web applications
CE Silva, JC Campos
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
422013
Property Patterns for the Formal Verification of Automated Production Systemsstar
JC Campos, J Machado, E Seabra
IFAC Proceedings Volumes 41 (2), 5107-5112, 2008
412008
Representational reasoning and verification
GJ Doherty, JC Campos, MD Harrison
Formal Aspects of Computing 12, 260-277, 2000
412000
Test case generation from mutated task models
A Barbosa, ACR Paiva, JC Campos
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
402011
The APEX framework: prototyping of ubiquitous environments based on Petri nets
JL Silva, OR Ribeiro, JM Fernandes, JC Campos, MD Harrison
Human-Centred Software Engineering: Third International Conference, HCSE …, 2010
382010
A more intelligent test case generation approach through task models manipulation
JC Campos, C Fayollas, M Gonçalves, C Martinie, D Navarre, P Palanque, ...
Proceedings of the ACM on human-computer interaction 1 (EICS), 1-20, 2017
372017
Systematic automation of scenario-based testing of user interfaces
JC Campos, C Fayollas, C Martinie, D Navarre, P Palanque, M Pinto
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016
372016
Safe controllers design for industrial automation systems
J Machado, E Seabra, JC Campos, F Soares, CP Leão
Computers & Industrial Engineering 60 (4), 635-653, 2011
372011
A generic library for GUI reasoning and testing
JC Silva, J Saraiva, JC Campos
Proceedings of the 2009 ACM symposium on Applied Computing, 121-128, 2009
372009
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20