temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties

Most mainstream specification languages primarily deal with a program's functional behavior. However, for many common problems, besides the system's functionality, it is necessary to be able to express its temporal properties, such as the necessity of calling methods in a certain order. We...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2010 8th IEEE International Conference on Software Engineering and Formal Methods S. 63 - 72
Hauptverfasser:	Hussain, F, Leavens, G T
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.09.2010
Schlagworte:	Contracts Electrical engineering Grammar Java Java Modeling Language Runtime runtime assertion checking Semantics specification patterns Suspensions temporal specification temporaljmlc
ISBN:	9781424482894, 1424482895
ISSN:	1551-0255
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!