Depth cues and perceived audiovisual synchrony of biological motion von Silva, Carlos César, Mendonça, Catarina, Mouta, Sandra, Silva, Rosa, Campos, José Creissac, Santos, Jorge

Volltext

Validating an Approach to Formalize Use Cases with Ontologies von Couto, Rui, Ribeiro, António Nestor, Campos, José Creissac

Volltext

Supporting the analysis of safety critical user interfaces: an exploration of three formal tools von Campos, José C., Fayollas, Camille, Harrison, Michael D., Martinie, Célia, Masci, Paolo, Palanque, Philippe

Volltext

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings von Glässer, Uwe, Creissac Campos, Jose, Méry, Dominique, Palanque, Philippe

Volltext

Application of Ontologies in Identifying Requirements Patterns in Use Cases von Couto, Rui, Ribeiro, António Nestor, Campos, José Creissac

Volltext

Formal Verification of a Space System's User Interface With the IVY Workbench von Creissac Campos, Jose, Sousa, Manuel, Bergue Alves, Miriam C., Harrison, Michael D.

Volltext

Supporting resource-based analysis of task information needs von Campos, J. Creissac, Doherty, Gavin J.

Volltext

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices von Harrison, Michael D., Masci, Paolo, Creissac Campos, Jose, Curzon, Paul

Volltext

Correction: Depth Cues and Perceived Audiovisual Synchrony of Biological Motion von Silva, Carlos César, Mendonça, Catarina, Mouta, Sandra, Silva, Rosa, Campos, José Creissac, Santos, Jorge

Volltext

A Specification Patterns System for Discrete Event Systems Analysis von Campos, Jose Creissac, Machado, Jose

Volltext

Balancing the formal and the informal in user-centred design von Harrison, Michael D, Masci, Paolo, Campos, José Creissac

Volltext

AMAN Case Study von Palanque, Philippe, Campos, José C.

Volltext

The Modelery: a model-based software development repository von Couto, Rui, Ribeiro, António Manuel Nestor, Freitas de Campos, José Francisco Creissac

Volltext

Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees von Campos, José C., Ribeiro, António Nestor

Volltext

Analysing interactive devices based on information resource constraints von Campos, José Creissac, Doherty, Gavin, Harrison, Michael D.

Volltext

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets von Canny, Alexandre, Navarre, David, Campos, José C., Palanque, Philippe

Volltext

Reusing models and properties in the analysis of similar interactive devices von Harrison, Michael D., Campos, José Creissac, Masci, Paolo

Volltext

Prototyping and analysing ubiquitous computing environments using multiple layers von Silva, José Luís, Campos, José Creissac, Harrison, Michael D.

Volltext

A literature review about usability evaluation methods for e-learning platforms von Freire, Luciana Lopes, Arezes, Pedro Miguel, Campos, José Creissac

Volltext

An Online Repository for Educational Resources in HCI-Engineering von Spano, Lucio Davide, Campos, José Creissac, Dittmar, Anke, Forbrig, Peter

Volltext