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 :
بازگشت