Adding contracts to Java

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

Full description

Saved in:
Bibliographic Details
Main Author: Newmarch, J.
Format: Conference Proceeding
Language:English
Subjects:
Contracts
Design engineering
Documentation
Information science
Java
Laboratories
Programming profession
Reflection
Runtime
Switches
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/TOOLS.1998.713581