Software Engineering 2 Specification of Systems and Languages
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...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2006, 2006
|
Edition: | 1st ed. 2006 |
Series: | Texts in Theoretical Computer Science. An EATCS Series
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Opening
- Specification Facets
- Hierarchies and Compositions
- Denotations and Computations
- Configurations: Contexts and States
- A Crucial Domain and Computing Facet
- Time, Space and Space/Time
- Linguistics
- Pragmatics
- Semantics
- Syntax
- Semiotics
- Further Specification Techniques
- Modularisation
- Automata and Machines
- Concurrency and Temporality
- Petri Nets
- Message and Live Sequence Charts
- Statecharts
- Quantitative Models of Time
- Interpreter and Compiler Definitions
- SAL: Simple Applicative Language
- SIL: Simple Imperative Language
- SMIL: Simple Modular, Imperative Language
- SPIL: Simple Parallel, Imperative Language
- Closing
- Closing