Josef Pichler, Reinhold Plösch,
"Contracts: From Analysis to C++ Implementation"
: Proceedings of TOOLS 30 conference, Santa Barbara, USA, 8-1999, Reinhold Plösch, Josef Pichler: Contracts: From Analysis to C++ Implementation; Proceedings of TOOLS 30 conference, Santa Barbara, USA, IEEE Society Press, 1999.
Original Titel:
Contracts: From Analysis to C++ Implementation
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of TOOLS 30 conference, Santa Barbara, USA
Original Kurzfassung:
Standardmäßig bietet die Programmiersprache C++ keine Mechanismen an, um
Assertionen im Sinne von Design by Contract (wie von Meyer
vorgeschlagen) zu formulieren. Wir haben in diesem Zusammenhang
Techniken und Werkzeuge entwickelt, um das Prototyping
objektorientierter Softwarearchitekturen auf der Basis von Design by
Contract zu erleichtern. Da es für uns wichtig ist, evolutionäres
Prototyping zu unterstützen, benötigen wir Konzepte und Werkzeuge, um
Klassen und Assertionen, die wir mit unserer Prototyping-Umgebung
erstellt haben, automatisch nach C++ zu übersetzen. Als Nebeneffekt
bietet wir somit einen allgemeinen Mechanismus an, um Design by Contract
für die Programmiersprache C++ zur Verfügung zu stellen.
Sprache der Kurzfassung:
Deutsch
Englische Kurzfassung:
Standard C++ does not provide mechanisms for working with assertions in
the spirit of design by contract (DBC) as proposed by Meyer. We earlier
developed a set of techniques and tools facilitating the prototyping of
object-oriented architectures based on the idea of design by contract.
As it is crucial for us to support evolutionary prototyping, we need to
provide mechanisms to automatically transform the classes and assertions
specified in our prototyping environment to C++. Therefore we developed
a system that automatically transforms classes and assertions of our
prototyping system to C++. As a side effect our environment provides
general mechanisms for realizing design by contract for the programming
language C++.
Erscheinungsmonat:
8
Erscheinungsjahr:
1999
Notiz zum Zitat:
Reinhold Plösch, Josef Pichler: Contracts: From Analysis to C++ Implementation; Proceedings of TOOLS 30 conference, Santa Barbara, USA, IEEE Society Press, 1999.