Automatische Fehlersuche in Algebraischen Spezifikationen

Doctoral thesis German OPEN
Dunets, Andriy (2010)
  • Subject: Formale Spezifikationstechnik | Algebraische Spezifikation | Software Engineering | Abstrakter Datentyp
    • ddc: ddc:004

Abstrakte Datentypen eignen sich sehr gut für die High-Level Spezifikation von Software. Die algebraischen Spezifikationen von abstrakten Datentypen bringen durch die Strukturierung gute Überschaubarkeit des Entwurfs und erlauben die Ausdrucksstärke der Logik der ersten... View more
Share - Bookmark

  • Download from
    OPUS Augsburg via OPUS Augsburg (Doctoral thesis, 2010)
  • Cite this publication