Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-39844
Titel: Stepwise software developement : Combining axiomatic and algorithmic approaches in algebraic specifications
VerfasserIn: Beierle, Christoph
Voß, Angelika
Sprache: Englisch
Erscheinungsjahr: 1986
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: Algebraic specification
algorithmic constraint
axiomatic and algorithmic definitions
canonical term functor
software development
verification
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Much of the software development activity can be carried out using formal specifications that have a precise and well defined semantics, making it possible to formally verify the correctness of the development steps. In order to support this claim we present an algebraic specification method that provides both axiomatic and algorithmic techniques and illustrate it by working through an example development. Our method is realized in the specification development language ASPIK, which is a core component of an integrated software development and verification system. The semantics of ASPIK is based on the new notion of canonical term functor which generalizes the notion of canonical term algebra, and we show how this notion allows a uniform integration of axiomatic and algorithmic approaches by using the concept of algorithmic constraints.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-398440
hdl:20.500.11880/37686
http://dx.doi.org/10.22028/D291-39844
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 86,15
Datum des Eintrags: 22-Mai-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.