Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by José C. Campos
The Role of Verification in Interactive Systems Design
Design, Specification and Verification of Interactive Systems ’98
Related publications
Specification Styles in Distributed Systems Design and Verification
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Developing Emotional Design: Emotions as Cognitive Processes and Their Role in the Design of Interactive Technologies
Frontiers in Psychology
Psychology
The Role of User-Centred Design in Smart Wearable Systems Design Process
Evaluation of the Larch/VHDL Interactive Prover in Hardware Verification
People-Oriented Programming: From Agent-Oriented Analysis to the Design of Interactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Design and Verification Environment for High-Performance Video-Based Embedded Systems
The Role of Geotechnical Monitoring at Design of Foundation Structures and Their Verification – Part 1
Civil and Environmental Engineering
Civil
Environmental Engineering
Structural Engineering
MATLAB as a Design and Verification Tool for the Hardware Prototyping of Wireless Communication Systems
Combining Interaction Design and Gaming Technologies for the Development of Interactive Archaeological Content Presentation Systems
International Journal of Advancements in Technology
