Overview
- Three-volume set brings reader from basic principles to very advanced principles and techniques
- Suitable for undergraduate and graduate students in software engineering
- Emphasis on presenting application domains both informally and formally
- Includes supplementary material: sn.pub/extras
- Request lecturer material: sn.pub/lecturer-material
Part of the book series: Texts in Theoretical Computer Science. An EATCS Series (TTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 chapters)
-
Opening
-
Specification Facets
-
A Crucial Domain and Computing Facet
-
Linguistics
-
Further Specification Techniques
-
Concurrency and Temporality
Keywords
About this book
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.
This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.
This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1of this series is a prerequisite text.
Reviews
From the reviews:
"The present volume is the second one of a trilogy on formal development of large scale systems. … Each topic is presented by means of many examples … . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification tools … provide the reader with a comprehensive understanding … . the book appeals to researchers and to practitioners involved in language specification and modelling of real time and concurrent systems." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)
Authors and Affiliations
Bibliographic Information
Book Title: Software Engineering 2
Book Subtitle: Specification of Systems and Languages
Authors: Dines Bjørner
Series Title: Texts in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-540-33193-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Hardcover ISBN: 978-3-540-21150-1Published: 22 February 2006
Softcover ISBN: 978-3-642-05940-7Published: 12 February 2010
eBook ISBN: 978-3-540-33193-3Published: 01 August 2007
Series ISSN: 1862-4499
Series E-ISSN: 1862-4502
Edition Number: 1
Number of Pages: XXIV, 780
Number of Illustrations: 151 b/w illustrations
Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Software Engineering, Programming Techniques, Logics and Meanings of Programs
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications