José Luís Cardoso da Silva


AuthID: R-001-MHY

Publicações Confirmadas: 18



11
12
TÍTULO: A Model-based Approach for Test Cases Generation
AUTORES: Silva, JC; Silva, JL ; Campos, JC ; Saraiva, JA ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
NO MEU: ORCID
13
TÍTULO: Formal description of multi-touch interactions
AUTORES: Hamon, A; Palanque, P; Silva, JL ; Deleris, Y; Barboni, E;
PUBLICAÇÃO: 2013, FONTE: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013 in EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXADO EM: Scopus
NO MEU: ORCID
14
15
TÍTULO: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTORES: Silva, JL ; Ribeiro, OR; Fernandes, JM ; Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID
16
TÍTULO: An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence
AUTORES: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2009, FONTE: ACM SIGCHI Symposium on Engineering Interactice Computing Systems in EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXADO EM: Scopus WOS DBLP CrossRef: 15 Handle
NO MEU: ORCID
17
TÍTULO: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTORES: Silva, JC ; Campos, JC ; Saraiva, J ;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 4323
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
18
TÍTULO: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 24 Handle
NO MEU: ORCID
Página 2 de 2. Total de resultados: 18.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service