11 citations · 22 across the 4 of their papers we have counts for
4 papers
Improving the Visualization of Alloy Instances
Rui Couto, José C. Campos, Nuno Macedo +1
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE pro…
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…
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…
Application of Ontologies in Identifying Requirements Patterns in Use Cases
Rui Couto, António Nestor Ribeiro, José Creissac Campos
Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as th…