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

Full description

Bibliographic Details

Published in:	2010 8th IEEE International Conference on Software Engineering and Formal Methods pp. 63 - 72
Main Authors:	Hussain, F, Leavens, G T
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.09.2010
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!