From Object-Orientation to Formal Methods
Springer Berlin (Verlag)
978-3-540-21366-6 (ISBN)
A Biography of Ole-Johan Dahl.- A Bibliography of Ole-Johan Dahl.- The Birth of Object Orientation: the Simula Languages.- An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.- Towards Posit & Prove Calculi for Requirements Engineering and Software Design.- Distributed Concurrent Object-Oriented Software.- Composing Hidden Information Modules over Inclusive Institutions.- Towards the Verifying Compiler.- Object-Oriented Specification and Open Distributed Systems.- SIMULA and Super-Object-Oriented Programming.- Efficient Coroutine Generation of Constrained Gray Sequences.- Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.- The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design.- Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games.- Incremental Reasoning for Object Oriented Systems.- Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.- Building Optimal Binary Search Trees from Sorted Values in O(N) Time.
From the reviews:
"This festschrift is ... a fitting posthumous tribute to Dahl by close colleagues and highly respected computer scientists from around the world. ... This book will be of interest to any computer scientist who met Dahl or knows him by reputation. Anyone concerned with formal methods research will also find it a useful set of papers; all the contributors are of international calibre and many are well-known computer scientists. ... All academic libraries covering software engineering would benefit from a copy." (Jonathan Bowen, The Times Higher Education Supplement, February, 2005)
Erscheint lt. Verlag | 31.3.2004 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | X, 392 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 605 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Abstraction • ALGOL • Compiler • Dahl, Ole-Johan • Design • Festschriften • Formal Method • formal methods • inheritance requirements engineering • Object-Orientation • Object-oriented Languages • object-oriented programming • Object-Oriented Software • Object-Oriented Systems • programming • programming calculi • Programming language • Requirements Engineering • simula • Software Design • software development • Software Engineering / Softwareentwicklung • Softwareentwicklung • Specification |
ISBN-10 | 3-540-21366-X / 354021366X |
ISBN-13 | 978-3-540-21366-6 / 9783540213666 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich