11 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.HC2018★ 11 cited
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★ 1 cited
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…