José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 147



71
TITLE: A study on the viability of formalizing Use Cases
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9th International Conference on the Quality of Information and Communications Technology (QUATIC)
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
72
TITLE: A Virtual Environment based Serious Game to Support Health Education
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLISHED: 2014, SOURCE: ICST Trans. Ambient Systems, VOLUME: 1, ISSUE: 3
INDEXED IN: DBLP CrossRef Handle
IN MY: ORCID
73
TITLE: An Approach for Graphical User Interface External Bad Smells Detection
AUTHORS: Silva, JC; Campos, JC ; Saraiva, J ; Silva, JL ;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
74
TITLE: Analysing interactive devices based on information resource constraints  Full Text
AUTHORS: Campos, JC ; Doherty, G; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
75
TITLE: Application of ontologies in identifying requirements patterns in use cases  Full Text
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 11th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 147
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
76
TITLE: Characterizing the Control Logic of Web Applications' User Interfaces
AUTHORS: Carlos Eduardo Silva ; Jose Creissac Campos ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
77
TITLE: Correction: Depth cues and perceived audiovisual synchrony of biological motion (PLoS ONE)  Full Text
AUTHORS: Silva, CC; Mendonca, C; Mouta, S ; Silva, R; Campos, JC ; Santos, J;
PUBLISHED: 2014, SOURCE: PLoS ONE, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
78
TITLE: Design and evaluation of a smart library using the APEX framework
AUTHORS: Abade, T; Gomes, T; Silva, JL ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2014 - Held as Part of 16th International Conference on Human-Computer Interaction, HCI International 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8530 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
79
TITLE: Development of Dependable Controllers in the Context of Machines Design
AUTHORS: Machado, J ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 54th International Conference of Machine-Design-Departments in MODERN METHODS OF CONSTRUCTION DESIGN, VOLUME: 16
INDEXED IN: Scopus WOS CrossRef: 3 Handle
IN MY: ORCID | CIÊNCIAVITAE
80
TITLE: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 8 of 15. Total results: 147.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service