Abstract
Before going into the topic of formal specification languages let us first survey the chain of events that led to this book as well as the notions of the specific specification languages and their logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dominique Cansell and Dominique Méry. Logical Foundations of the B Method. Computing and Informatics, 22(1–2), 2003. This paper is one of a series: [2–7] appearing in a double issue of the same journal: Logics of Specification Languages — edited by Dines Bjørner.
Ražvan Diaconescu, Kokichi Futatsugi, and Kazuhiro Ogata. CafeOBJ: Logical Foundations and Methodology. Computing and Informatics, 22(1–2), 2003. This paper is one of a series: [1, 3–7] appearing in a double issue of the same journal: Logics of Specification Languages — edited by Dines Bjørner.
Chris W. George and Anne E. Haxthausen. The Logic of the RAISE Specification Language. Computing and Informatics, 22(1–2), 2003. This paper is one of a series: [1, 2, 4–7] appearing in a double issue of the same journal: Logics of Specification Languages — edited by Dines Bjørner.
Martin C. Henson, Steve Reeves, and Jonathan P. Bowen. Z Logic and Its Consequences. Computing and Informatics, 22(1–2), 2003. This paper is one of a series: [1–3,5–7] appearing in a double issue of the same journal: Logics of Spec-ification Languages — edited by Dines Bjørner.
Stephan Merz. On the Logic of TLA+. Computing and Informatics, 22(1–2), 2003. This paper is one of a series: [1–4, 6, 7] appearing in a double issue of the same journal: Logics of Specification Languages — edited by Dines Bjørner.
Till Mossakowski, Anne E. Haxthausen, Don Sanella, and Andrzej Tarlecki. CASL — The Common Algebraic Specification Language: Semantics and Proof Theory. Computing and Informatics, 22(1–2), 2003. This paper is one of a series: [1–5,7] appearing in a double issue of the same journal: Logics of Specification Languages — edited by Dines Bjørner.
Wolfgang Reisig. The Expressive Power of Abstract State Machines. Computing and Informatics, 22(1–2), 2003. This paper is one of a series: [1–6] appearing in a double issue of the same journal: Logics of Specification Languages — edited by Dines Bjørner.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bjørner, D., Henson, M.C. (2008). An Overview. In: Bjørner, D., Henson, M.C. (eds) Logics of Specification Languages. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74107-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-74107-7_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74106-0
Online ISBN: 978-3-540-74107-7
eBook Packages: Computer ScienceComputer Science (R0)