Software Engineering 2: Specification of Systems and Languages

by Dines Bjørner

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 3642059406
• ISBN13: 9783642059407
• Release Date: February 2010
• Publisher: Springer
• Length: 780 Pages
• Weight: 2.44 lbs.
• Dimensions: 1.6" x 6.1" x 9.2"