Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

2006 | Book

Introduction Read chapter Read first chapter

Software Engineering 2

Specification of Systems and Languages

Author: Prof. Dr. Dines Bjørner

Publisher: Springer Berlin Heidelberg

Book Series : Texts in Theoretical Computer Science. An EATCS Series

Part of: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Login to get access
insite
SEARCH

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.

Table of Contents

Frontmatter

Opening

Frontmatter
1. Introduction

Specification Facets

Frontmatter
2. Hierarchies and Compositions
3. Denotations and Computations
4. Configurations: Contexts and States

A Crucial Domain and Computing Facet

Frontmatter
5. Time, Space and Space/Time

Linguistics

Frontmatter
6. Pragmatics
7. Semantics
8. Syntax
9. Semiotics

Further Specification Techniques

Frontmatter
10. Modularisation
11. Automata and Machines

Concurrency and Temporality

Frontmatter
12. Petri Nets
13. Message and Live Sequence Charts
14. Statecharts
15. Quantitative Models of Time

Interpreter and Compiler Definitions

Frontmatter
16. SAL: Simple Applicative Language
17. SIL: Simple Imperative Language
18. SMIL: Simple Modular, Imperative Language
19. SPIL: Simple Parallel, Imperative Language

Closing

Frontmatter
20. Closing
Backmatter
Metadata
Title
Software Engineering 2
Author
Prof. Dr. Dines Bjørner
Copyright Year
2006
Publisher
Springer Berlin Heidelberg
Electronic ISBN
978-3-540-33193-3
Print ISBN
978-3-540-21150-1
DOI
https://doi.org/10.1007/978-3-540-33193-3

Premium Partner

    Image Credits