Verification Templates for the Analysis of User Interface Software Design von Harrison, Michael D., Masci, Paolo, Campos, Jose C.

Volltext

Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform von Silva, Carlos, Vieira, Joana, Campos, José C., Couto, Rui, Ribeiro, António N.

Volltext

Infiltrating Syringomatous Adenoma of the Nipple von Odashiro, Maçanori, Lima, Marilana G., Miiji, Luciana N., Odashiro, Danilo N., Carvalho, Guilherme V. S., Prates Campos, José C., Odashiro, Alexandre N.

Volltext

Improving the Visualization of Alloy Instances von Couto, Rui, Campos, José C., Macedo, Nuno, Cunha, Alcino

Volltext

Safe controllers design for industrial automation systems von Machado, José, Seabra, Eurico, Campos, José C., Soares, Filomena, Leão, Celina P.

Volltext

Don’t go in there! using the APEX framework in the design of ambient assisted living systems von Campos, José C., Abade, Tiago, Silva, José Luís, Harrison, Michael D.

Volltext

Synthesis of Novel Thiazolidin‐4‐ones and Thiazinan‐4‐ones Analogous to Rosiglitazone von Neves, Adriana M., Campos, José C., Gouvêa, Daniela P., Berwaldt, Gabriele A., Goulart, Taís B., Avila, Cinara T., Machado, Pablo, Zimmer, Geórgia C., Cunico, Wilson

Volltext

Efficient Synthesis and Antioxidant Evaluation of 2-Aryl-3-(Pyrimidin-2-yl)-Thiazolidinones von Campos Júnior, José C., Gouvêa, Daniela P., Ribeiro, Camila da S., Dutra, Filipe S. P., Stefanello, Francieli M., Pereira, Claudio M. P., Cunico, Wilson, Siqueira, Geonir M.

Volltext

Evaluation of Occlusal Rest Seats With 3D Technology in Dental Education von Sampaio‐Fernandes, Manuel António Ferreira, Sampaio‐Fernandes, Maria M., Fonseca, Patrícia A., Almeida, Paulo R., Reis‐Campos, José C., Figueiral, Maria H.

Volltext

Effect of connector design on the stress distribution of a cantilever fixed partial denture von Correia, Andre, Fernandes, Joao C., Campos, Jose C., Vaz, Mario, Ramos, Nuno, Martins da Silva, Joao

Volltext

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web von Fayollas, Camille, Martinie, Célia, Palanque, Philippe, Masci, Paolo, Harrison, Michael D., Campos, José C., Rodrigues e Silva, Saulo

Volltext

Formal techniques in the safety analysis of software components of a new dialysis machine von Harrison, Michael D., Freitas, Leo, Drinnan, Michael, Campos, José C., Masci, Paolo, di Maria, Costanzo, Whitaker, Michael

Volltext

Teaching HCI Engineering: Four Case Studies von Caffieau, Sybille, Campos, José C., Martinie, Célia, Nigay, Laurence, Palanque, Philippe, Spano, Lucio Davide

Volltext

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices von Masci, Paolo, Zhang, Yi, Jones, Paul, Campos, José C.

Volltext

Robust Kalman filter for descriptor systems von Ishihara, J.Y., Terra, M.H., Campos, J.C.T.

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

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

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems von Aït-Ameur, Yamine, Bowen, Judy, Campos, José, Palanque, Philippe, Weyers, Benjamin

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