José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 149



141
TÍTULO: A formal approach to the usability engineering
AUTORES: José Creissac Campos ;
PUBLICAÇÃO: 2003, FONTE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
142
TÍTULO: From HCI to Software Engineering and Back PDF
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2003, FONTE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
143
TÍTULO: Reasoning about dynamic information displays
AUTORES: Campos, JC ; Doherty, GJ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
144
TÍTULO: Using task knowledge to guide interactor specifications analysis
AUTORES: Campos, JC ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
145
TÍTULO: Model Checking Interactor Specifications  Full Text
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2001, FONTE: Autom. Softw. Eng., VOLUME: 8, NÚMERO: 3-4
INDEXADO EM: Scopus DBLP CrossRef: 50
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
146
TÍTULO: Representational Reasoning and Verification  Full Text
AUTORES: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects Comput., VOLUME: 12, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 12
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
147
TÍTULO: Using automated reasoning in the design of an audio-visual communication system
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1999, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
148
TÍTULO: The role of verification in interactive systems design
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1998, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
149
TÍTULO: Formally verifying interactive systems: A review
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 1997, FONTE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 15 de 15. Total de resultados: 149.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service