KIT | KIT-Bibliothek | Impressum | Datenschutz

Would you ever risk non-monomorphic specification?

Schoenegge, Arno

Abstract:

In this paper we illustrate the risk of non-monomorphicity
(i.e. ambiguity) of requirement specifications by an example
from formal software development. The example was completely
carried out in the KIV system (Karlsruhe Interactive Verifier).


Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA65951
KITopen-ID: 6595
Erscheinungsvermerk Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,33.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page