Adding contracts to Java
Published • Nov 27, 2002
Authors:
Jan Newmarch
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...
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!