1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.HC2017★ 1 cited
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Camille Fayollas, Célia Martinie, Philippe Palanque +4
Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware pane…
cs.SE2016
Validating an Approach to Formalize Use Cases with Ontologies
Rui Couto, António Nestor Ribeiro, José Creissac Campos
Use case driven development methodologies put use cases at the center of the software development process. However, in order to support automated development and analysis, use case…