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...

Celý popis

Podrobná bibliografia

Vydané v:	2010 8th IEEE International Conference on Software Engineering and Formal Methods s. 63 - 72
Hlavní autori:	Hussain, F, Leavens, G T
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.09.2010
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!