DocumentCode
2911867
Title
Adding contracts to Java
Author
Newmarch, Jan
Author_Institution
Distributed Inf. Lab., Univ. of Canberra, NSW, Australia
fYear
1998
fDate
22-25 Sep 1998
Firstpage
2
Lastpage
7
Abstract
Design by contract is a technique for specifying the requirements and deliverables between clients and suppliers in an OO system. Contracts have been implemented in Eiffel. The paper examines the possible ways that contracts can be added to Java, and explores in detail one particular mechanism based on reflection. The advantages and disadvantages of this mechanism are discussed
Keywords
formal specification; object-oriented languages; object-oriented programming; Eiffel; Java contracts; OO system; clients; deliverables; reflection; requirements; suppliers; Contracts; Design engineering; Documentation; Information science; Java; Laboratories; Programming profession; Reflection; Runtime; Switches;
fLanguage
English
Publisher
ieee
Conference_Titel
Technology of Object-Oriented Languages, 1998. TOOLS 27. Proceedings
Conference_Location
Beijing
Print_ISBN
0-8186-9096-8
Type
conf
DOI
10.1109/TOOLS.1998.713581
Filename
713581
Link To Document