João Carlos Pascoal Faria


AuthID: R-000-6WK

Publicações Confirmadas: 89



81
TÍTULO: Reverse engineered formal models for GUI testing  Full Text
AUTORES: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLICAÇÃO: 2008, FONTE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | ResearcherID
82
TÍTULO: Automatic generation of user interfaces from domain and use case models
AUTORES: Antonio Miguel Rosado da Cruz ; Joao Pascoal de Faria ;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on the Quality of Information and Communications Technology in QUATIC 2007: 6TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | ResearcherID | DBLP
83
TÍTULO: Towards the Integration of Visual and Formal Models for GUI Testing
AUTORES: Ana C R Paiva ; João C P Faria ; Raul F A M Vidal ;
PUBLICAÇÃO: 2007, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 190, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef Handle
NO MEU: ORCID
84
TÍTULO: A methodology for auditing e-voting processes and systems used at the elections for the portuguese parliament
AUTORES: E Cunha, JF ; Leitao, MJ; Faria, JP ; Monteiro, MP; Carravilla, MA ;
PUBLICAÇÃO: 2006, FONTE: 2nd International Workshop on Electronic Voting 2006 in Electronic Voting 2006 - 2nd International Workshop, VOLUME: 86
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
85
TÍTULO: A model-to-implementation mapping tool for automated model-based GUI testing
AUTORES: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLICAÇÃO: 2005, FONTE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
86
TÍTULO: Modeling and Testing Hierarchical GUIs
AUTORES: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
INDEXADO EM: DBLP Handle
NO MEU: ORCID
87
TÍTULO: Automated Specification-based Testing of Interactive Components with AsmL PDF
AUTORES: Ana C R Paiva ; João Pascoal Faria ; Raul Moreira Vidal ;
PUBLICAÇÃO: 2004, FONTE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, Porto, Portugal, October 18-20, 2004., VOLUME: 1135
INDEXADO EM: Scopus DBLP Handle
NO MEU: ORCID | DBLP
88
TÍTULO: Specification-based testing of user interfaces
AUTORES: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
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 Handle
NO MEU: ORCID
89
TÍTULO: Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases
AUTORES: João Pascoal Faria ; Raul Moreira Vidal ;
PUBLICAÇÃO: 1999, FONTE: XIV Simpósio Brasileiro de Banco de Dados, 11-13 Outubro 1999, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 9 de 9. Total de resultados: 89.

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