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á bibliografie

Vydáno v:	2010 8th IEEE International Conference on Software Engineering and Formal Methods s. 63 - 72
Hlavní autoři:	Hussain, F, Leavens, G T
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.09.2010
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!