Software Engineering 2: Specification of Systems and Languages

✍ Scribed by Dines Bjørner

Publisher: Springer
Year: 2006
Tongue: English
Leaves: 802
Series: Texts in Theoretical Computer Science. An EATCS Series
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Software Engineering 2: Specification of

📁 Software Engineering 2: Specification of Systems and Languages

✍ Dines Bjørner 📂 Library 📅 2006 🏛 Springer 🌐 English

<P>The art, craft, discipline, logic, practice and science of developing large scale software products is in increasing need of a trustworthy, believable and professional base. This book is one of a series of three volumes, devoted to fill this need. This series of strongly related text books combin

Software Engineering 2: Specification of

📁 Software Engineering 2: Specification of Systems and Languages

✍ Dines Bjorner 📂 Library 📅 2006 🏛 Springer 🌐 English

Software Engineering 2: Specification of

📁 Software Engineering 2: Specification of Systems and Languages

✍ Prof. Dr. Dines Bjørner (auth.) 📂 Library 📅 2006 🏛 Springer 🌐 English

Software Engineering 2: Specification of

📁 Software Engineering 2: Specification of Systems and Languages Volume 2

✍ Dines Bjørner 📂 Library 📅 2006 🏛 Springer 🌐 English

Specifying Systems: The TLA+ Language an

📁 Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

✍ Leslie Lamport 📂 Library 📅 2002 🏛 Addison-Wesley Professional 🌐 English

Spatial statistics is one of the most rapidly growing areas of statistics, rife with fascinating research opportunities. Yet, many statisticians are unaware of those opportunities, and most students in the United States are never exposed to any course work in spatial statistics. Written to be access

Specifying Systems: The TLA+ Language an

📁 Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering

✍ Lamport L. 📂 Library 📅 2002 🏛 Addison Wesley 🌐 English

This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a system helps us understand it. It's a good idea