Abstract
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.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baumgarten, B. (1999). A minimal framework for specification theory. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_53
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive