João Carlos Pascoal Faria


AuthID: R-000-6WK

Confirmed Publications: 82



71
TITLE: Adaptive Object-Modelling: Patterns, Tools and Applications
AUTHORS: Hugo Sereno Ferreira ; Ademar Aguiar ; Joao Pascoal Faria ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
72
TITLE: AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE CASE MODELS
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Software and Data Technologies in ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, VOLUME: 1
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
73
TITLE: Automatic generation of interactive prototypes for domain model validation
AUTHORS: Antonio Miguel Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2008, SOURCE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, VOLUME: SE, ISSUE: GSDCA/M/-
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
74
TITLE: Reverse engineered formal models for GUI testing  Full Text
AUTHORS: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLISHED: 2008, SOURCE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | ResearcherID
75
TITLE: Automatic generation of user interfaces from domain and use case models
AUTHORS: Antonio Miguel Rosado da Cruz ; Joao Pascoal de Faria ;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | ResearcherID | DBLP
76
TITLE: Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 190, ISSUE: 2 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID
77
TITLE: A methodology for auditing e-voting processes and systems used at the elections for the portuguese parliament
AUTHORS: E Cunha, JF ; Leitao, MJ; Faria, JP ; Monteiro, MP; Carravilla, MA ;
PUBLISHED: 2006, SOURCE: 2nd International Workshop on Electronic Voting 2006 in Electronic Voting 2006 - 2nd International Workshop, VOLUME: 86
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
78
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: ORCID | ResearcherID
79
TITLE: Modeling and Testing Hierarchical GUIs
AUTHORS: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLISHED: 2005, SOURCE: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
INDEXED IN: DBLP
IN MY: ORCID
80
TITLE: Automated specification-based testing of interactive components with asmL PDF
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2004, SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in CEUR Workshop Proceedings, VOLUME: 1135
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 8 of 9. Total results: 82.

A place for researchers and their institutions

Useful Links

Get Help

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