‘Design by Contract’ + ‘Componentware’ = ‘Design by Signed Contract’.
نویسندگان
چکیده
منابع مشابه
"Design by Contract" + "Componentware" = "Design by Signed Contract"
The main goal of "Design by Contract" is to improve correctness and robustness of software systems. For this purpose, the interfaces of classes or modules are augmented with precise specifications containing assertions. By means of these assertions, a supplier of a service imposes contractual obligations that his clients have to fulfill. " Componentware " introduces a new software development p...
متن کاملDesign by Contract, By Example
Design by Contract is a powerful technique that provides the promise of specifying classes in a machine checkable way. Until recently, it has failed to live up to that promise. However, the organizers of this workshop have developed, and continue to develop a disciplined approach for using Design by Contract to completely specify classes, often in ways that can be completely checked automatical...
متن کاملDesign by Contract with JML
This document gives a tutorial introduction to the Java Modeling Language (JML), and explains how JML can be used as a powerful design by contract (DBC) tool for Java. JML is a formal behavioral interface specification language for Java that contains the essential notations used in DBC as a subset. The basic concepts of DBC are explained with a particular emphasis on how to use JML notations to...
متن کاملDesign by Contract for Python
The idea of design by contract (DBC), realized in the statically typed object-oriented programming language Eiffel, can be viewed as a systematic approach to specifying and implementing object-oriented software systems. We believe that a statically typed programming language is not suitable in the analysis and design phase of a prototyping-oriented software life cycle. For this purpose, dynamic...
متن کاملDesign by Contract in Smalltalk
In the context of object-oriented programming languages we propose an extension of the Smalltalk environment which provides for the possibility of constructing software by applying the Design by Contract methodology , introduced by Meyer as a way of developing reliable software. In this sense, both correctness and robustness are increased by using the mechanisms incorporated to Smalltalk as a c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2002
ISSN: 1660-1769
DOI: 10.5381/jot.2002.1.3.a2