By Topic

Tool support for design by contract

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Plosch, R. ; Doppler Lab. for Software Eng., Johannes Kepler Univ., Linz, Austria

Numerous experience reports indicate that prototyping is a serious and successful development strategy. The author believes that it is not sufficient to provide graphical notations for object-oriented analysis, but that the notation of contracts in conjunction with prototyping i.e., building executable models, is the proper technique for mastering complexity and gaining insights into a problem domain. He therefore developed a set of tools that is especially suitable for functional prototyping and for architectural prototyping. The underlying prototyping model is based on object orientation and assertions. The infrastructure tools are implemented with the object-oriented programming language, Python, while the high-level tools (assertion browser and graphically oriented debugger for assertions) are implemented in C++. The two parts of the system are tightly connected by means of the API provided by Python. Although the tool support provided covers the core tasks for functional prototyping and for architecture prototyping, additional support for evolutionary software development and for higher level techniques for requirements elicitation, e.g., for scenario oriented (use case oriented) analysis is desired

Published in:

Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings

Date of Conference:

3-7 Aug 1998