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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-REPORT-SR-86-15_Beierle-Voß_Stepwise software-developement-combining-axiomatic-and-algorithmic-approaches-in-algebraic-specifications.pdf | 11,64 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.