2 papers
cs.HC2018
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…
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…