Search results for:
Filter your results
0 Search results
Raul Vidal
Domains
Publications
Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases
Faria, JP;Vidal, RM;
1999
XIV Simpósio Brasileiro de Banco de Dados, 11-13 Outubro 1999, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings
Specification-based testing of user interfaces
Paiva, ACR;Faria, JCP;Vidal, RFAM;
2003
INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION
Automated specification-based testing of interactive components with asmL
Paiva, ACR;Faria, JCP;Vidal, RFAM;
2004
CEUR Workshop Proceedings
A model-to-implementation mapping tool for automated model-based GUI testing
Paiva, ACR;Faria, JCP;Tillmann, N;Vidal, RAM;
2005
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS
Supervised theses
Delivery Time Slot Management Methods in Online Retail
Armando Silvestre Loureiro Peixoto
M - 2019
UP-FEUP