Dines Bjørner

eBook, PDF

Software Engineering 2 (eBook, PDF)

Specification of Systems and Languages

Beschreibung

This second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics as modularity (UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. The book presents principles and techniques for developing the basis for sound, efficient interpreter and compiler development of functional, imperative, modular and parallel programming languages.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 40.18MB

Barrierefreiheit

• Text-to-Speech

Autor

MSc.EE, 1962, PhD.CS 1969; IBM 1962-1975 (R&D: Sweden, California USA, Switzerland, Austria); Prof. Techn.Univ. of Denmark 1976--...; Guest Profs.: Univ. of California at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (1979¿1989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997); Co-founder of (VDM now) Formal Methods Europe, 1987-...; Member of Academia Europaea; Member of the Russian Academy of Natural Sciences (AB); The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Czech Republic; The John von Neumann Medal, Hungarian Computer (JvN) Society; Knight of the Danish Flag

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 780
• Erscheinungstermin: 1. August 2007
• Englisch
• ISBN-13: 9783540331933
• Artikelnr.: 44132231

Rezensionen

From the reviews: "The present volume is the second one of a trilogy on formal development of large scale systems. ... Each topic is presented by means of many examples ... . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification tools ... provide the reader with a comprehensive understanding ... . the book appeals to researchers and to practitioners involved in language specification and modelling of real time and concurrent systems." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)