José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 149



141
TITLE: A formal approach to the usability engineering
AUTHORS: José Creissac Campos ;
PUBLISHED: 2003, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
142
TITLE: From HCI to Software Engineering and Back PDF
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
143
TITLE: Reasoning about dynamic information displays
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
144
TITLE: Using task knowledge to guide interactor specifications analysis
AUTHORS: Campos, JC ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
145
TITLE: Model Checking Interactor Specifications  Full Text
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2001, SOURCE: Autom. Softw. Eng., VOLUME: 8, ISSUE: 3-4
INDEXED IN: Scopus DBLP CrossRef: 50
IN MY: ORCID | DBLP | CIÊNCIAVITAE
146
TITLE: Representational Reasoning and Verification  Full Text
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID | DBLP | CIÊNCIAVITAE
147
TITLE: Using automated reasoning in the design of an audio-visual communication system
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
148
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
149
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 15 of 15. Total results: 149.

footer slogan

Useful Links

Get Help

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