Software Engineering 2

Specification of Systems and Languages

  • Dines Bjørner

Table of contents

  1. Front Matter
    Pages I-XXIV
  2. Opening

    1. Front Matter
      Pages 1-1
    2. Pages 3-29
  3. Specification Facets

    1. Front Matter
      Pages 31-33
  4. A Crucial Domain and Computing Facet

    1. Front Matter
      Pages 119-119
  5. Linguistics

    1. Front Matter
      Pages 143-144
    2. Pages 145-150
    3. Pages 151-172
    4. Pages 173-212
    5. Pages 213-239
  6. Further Specification Techniques

    1. Front Matter
      Pages 241-241
    2. Pages 243-283
    3. Pages 285-312
  7. Concurrency and Temporality

    1. Front Matter
      Pages 313-313
    2. Pages 315-373
    3. Pages 475-516
  8. Interpreter and Compiler Definitions

  9. Closing

    1. Front Matter
      Pages 707-707
    2. Pages 709-713
  10. Back Matter
    Pages 715-777

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. 1 of this series is a prerequisite text.


Unified Modeling Language (UML) compiler logic modeling petri net programming programming language semantics software engineering

Authors and affiliations

  • Dines Bjørner
    • 1
  1. 1.Computer Science and Engineering, Informatics and Mathematical ModellingTechnical University of DenmarkKgs. LyngbyDenmark

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-21150-1
  • Online ISBN 978-3-540-33193-3
  • Buy this book on publisher's site