activity
20162018
most citedEvaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing 2018 · cs.HCShow all

1 paper · 2 filters

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…