Software Engineering 2

Specification of Systems and Languages

Authors:

ISBN: 978-3-540-21150-1 (Print) 978-3-540-33193-3 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages I-XXIV

  2. Opening

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-29

      Introduction

  3. Specification Facets

    1. Front Matter

      Pages 31-33

    2. No Access

      Book Chapter

      Pages 35-53

      Hierarchies and Compositions

    3. No Access

      Book Chapter

      Pages 55-92

      Denotations and Computations

    4. No Access

      Book Chapter

      Pages 93-117

      Configurations: Contexts and States

  4. A Crucial Domain and Computing Facet

    1. Front Matter

      Pages 119-119

    2. No Access

      Book Chapter

      Pages 121-141

      Time, Space and Space/Time

  5. Linguistics

    1. Front Matter

      Pages 143-144

    2. No Access

      Book Chapter

      Pages 145-150

      Pragmatics

    3. No Access

      Book Chapter

      Pages 151-172

      Semantics

    4. No Access

      Book Chapter

      Pages 173-212

      Syntax

    5. No Access

      Book Chapter

      Pages 213-239

      Semiotics

  6. Further Specification Techniques

    1. Front Matter

      Pages 241-241

    2. No Access

      Book Chapter

      Pages 243-283

      Modularisation

    3. No Access

      Book Chapter

      Pages 285-312

      Automata and Machines

  7. Concurrency and Temporality

    1. Front Matter

      Pages 313-313

    2. No Access

      Book Chapter

      Pages 315-373

      Petri Nets

    3. No Access

      Book Chapter

      Pages 375-474

      Message and Live Sequence Charts

    4. No Access

      Book Chapter

      Pages 475-516

      Statecharts

    5. No Access

      Book Chapter

      Pages 517-569

      Quantitative Models of Time

  8. Interpreter and Compiler Definitions

    1. Front Matter

      Pages 571-571

    2. No Access

      Book Chapter

      Pages 573-658

      SAL: Simple Applicative Language

    3. No Access

      Book Chapter

      Pages 659-670

      SIL: Simple Imperative Language

    4. No Access

      Book Chapter

      Pages 671-680

      SMIL: Simple Modular, Imperative Language

    5. No Access

      Book Chapter

      Pages 681-706

      SPIL: Simple Parallel, Imperative Language

  9. Closing

    1. Front Matter

      Pages 707-707

    2. No Access

      Book Chapter

      Pages 709-713

      Closing

  10. Back Matter

    Pages 715-777