Generating Obligations, Assertions and Tests from UI Models

Model-based development of interactive systems provides a number of benefits which can support the creation of robust and correct systems, particularly important when the interactive systems are safety-critical. Many different approaches have been proposed which target the models at different aspect...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the ACM on human-computer interaction 2017-06, Vol.1 (EICS), p.1-18
Hauptverfasser:	Bowen, Judy, Reeves, Steve
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!