João Carlos Pascoal Faria


AuthID: R-000-6WK

Confirmed Publications: 88



71
TITLE: A Metamodel-Based Approach for Automatic User Interface Generation
AUTHORS: da Cruz, AMR ; Faria, JP ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID
72
TITLE: Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs
AUTHORS: Faria, JP ; Paiva, A ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010 in Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
INDEXED IN: Scopus CrossRef
IN MY: ORCID
73
74
TITLE: Reverse Engineering of GUI Models for Testing
AUTHORS: Andre M P Grilo; Ana C R Paiva ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
75
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ferreira, RDF; Faria, JP ; Paiva, ACR ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
76
TITLE: Test Coverage Analysis of UML State Machines
AUTHORS: Ricardo D F Ferreira; João C P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: ICST Workshops
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID
77
TITLE: Adaptive Object-Modelling: Patterns, Tools and Applications
AUTHORS: Ferreira, HS ; Aguiar, A ; Faria, JP ;
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
78
TITLE: AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE CASE MODELS
AUTHORS: da Cruz, AMR ; Faria, JP ;
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
79
TITLE: Automatic generation of interactive prototypes for domain model validation
AUTHORS: da Cruz, AMR ; Faria, JP ;
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
80
TITLE: Reverse engineered formal models for GUI testing  Full Text
AUTHORS: Paiva, ACR ; Faria, JCP ; Mendes, PMC;
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: 9
IN MY: ORCID
Page 8 of 9. Total results: 88.

footer slogan

Useful Links

Get Help

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