From Object-Orientation to Formal Methods

From Object-Orientation to Formal Methods

4.11 - 1251 ratings - Source



This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: qFor ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67.q This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: qThe Birth of Object-Orientation: the Simula Languages.q The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods.This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: aquot;For ideas fundamental to the ...


Title:From Object-Orientation to Formal Methods
Author: Olaf Owe, Stein Krogdahl, Tom Lyche
Publisher:Springer Science & Business Media - 2004-03-31
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA