ProfileOfResearchers

TÃTULO: Adaptive Object-Modelling: Patterns, Tools and Applications
AUTORES: Hugo Sereno Ferreira ; Ademar Aguiar ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009)

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 2

NO MEU:

ORCID |

TÃTULO: AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE CASE MODELS
AUTORES: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2009, FONTE: 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

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

TÃTULO: Automatic generation of interactive prototypes for domain model validation
AUTORES: Antonio Miguel Rosado da Cruz ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2008, FONTE: 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, NÚMERO: GSDCA/M/-

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

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

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 |

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:

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 |

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:

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

NO MEU: