1 citations · 1 across the 1 of their papers we have counts for
Showing cs.HCShow all
2 papers · 1 filter
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.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…