Jass -- Java with Assertions (2001)
Cached
Download Links
- [semantik.informatik.uni-oldenburg.de]
- [csd.informatik.uni-oldenburg.de]
- DBLP
Other Repositories/Bibliography
by
Detlef Bartetzko
,
Clemens Fischer
,
Michael Möller
,
Heike Wehrheim
| Citations: | 78 - 4 self |
BibTeX
@MISC{Bartetzko01jass--,
author = {Detlef Bartetzko and Clemens Fischer and Michael Möller and Heike Wehrheim},
title = {Jass -- Java with Assertions},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Design by Contract, proposed by Meyer for the programming language Eiffel, is a technique that allows run-time checks of specification violation and their treatment during program execution. Jass, Java with assertions, is a Design by Contract extension for Java allowing to annotate Java programs with specifications in the form of assertions. The Jass tool is a pre-compiler that translates annotated into pure Java programs in which compliance with the specification is dynamically tested. Besides the
