Advertisement

Spezifizieren

  • Karlheinz Hug
Part of the Ausbildung und Studium book series (XAS)

Zusammenfassung

Wir gehen von den in Kapitel 1 eingeführten Begriffen und Beispielen aus. Um die Schnittstellen der Softwaremodelle exakt zu beschreiben, lernen wir die Methode der Spezifikation durch Vertrag kennen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturhinweise

  1. [15]
    Bertrand Meyer: Objektorientierte Softwareentwicklung. Carl Hanser Verlag, München, Wien (1990) 547 S.Google Scholar
  2. [19]
    Bertrand Meyer: Object-oriented Software Construction. Prentice Hall PTR, Upper Saddle River (1997) 2nd edition, 1260 S.Google Scholar
  3. [16]
    Bertrand Meyer: Eiffel: The Language. Prentice Hall International (UK) Ltd, Hertfordshire (1992) 594 S.Google Scholar
  4. [18]
    Bertrand Meyer: Eiffel: The Reference. ISE Technical Report TR-EI-41/ER (1995) Version 3.3.4, 100 S.Google Scholar

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 2000

Authors and Affiliations

  • Karlheinz Hug
    • 1
  1. 1.ReutlingenDeutschland

Personalised recommendations