Design by Contract Bookmarks

@

English Web Site

Note

jContractor @
The Java Modeling Language (JML) @
JASS @
@ @
AACE Login
Journal Lists
Communications of the ACM
ACM SIGSOFT Software Engineering Notes
ACM Transactions on Information and System Security (TISSEC)
ITiCSE @
Java Conference
HCI & SE

@

Publications & Papers

English Web Site

Note

Supporting Design by Contract in Java [PDF]
Evaluation of Assertion Support for the Java Programming Language [PDF]
Design by Contract Using Meta-Assertions [PDF]
Design by Contract + Componentware = Design by Signed Contract [PDF]
Adding Contracts to Java with Handshake [PDF]   URL2
Binary Component Adaptation [PDF]

@


Last updated on 07/12/05