Notions concerning the specification, implementation, verification and testing of systems are ordinarily defined within a given context. We discuss what could and should belong to such a specification context. We obtain a unique practice-oriented specification semantics resp. conformance relation. We expect our framework to permit the definition of a general vocabulary for specification, verification and testing, independent of specific models or languages.
CITATION STYLE
Baumgarten, B. (1999). A minimal framework for specification theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, p. 1861). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_53
Mendeley helps you to discover research relevant for your work.