Reinhold Plösch,
"Tool Support for Design by Contract"
: 26th Conferende, August 3. - 7, 1998, Santa Barbara, 8-1998, Reinhold Plösch:Tool Support for Design by Contract; Proceedings of TOOLS, 26th Conferende, August 3. - 7, 1998, Santa Barbara, IEEE Computer Society, pp 282 - 294.
Original Titel:
Tool Support for Design by Contract
Sprache des Titels:
Englisch
Original Buchtitel:
26th Conferende, August 3. - 7, 1998, Santa Barbara
Original Kurzfassung:
Numerous experience reports indicate that prototyping is a serious and successful development strategy. We believe 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. We therefore developed a set of tools that is especially suitable for functionsl prototyping and for architectural prototyping. The underlying prototyping model is based on oo and assertions. The infrastructure tools are implemented with the oo programming language Python, while the high-level tools 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 analysis is desired.
Sprache der Kurzfassung:
Englisch
Erscheinungsmonat:
8
Erscheinungsjahr:
1998
Notiz zum Zitat:
Reinhold Plösch:Tool Support for Design by Contract; Proceedings of TOOLS, 26th Conferende, August 3. - 7, 1998, Santa Barbara, IEEE Computer Society, pp 282 - 294.