From object-orientation to formal methods : essays in memory of Ole-Johan Dahl / Olaf Owe, Stein Krogdahl, Tom Lyche (eds.).

Format:

Book

Contributor:

Owe, Olaf.

Krogdahl, Stein.

Lyche, Tom.

Series:

Lecture notes in computer science 0302-9743 ; 2635.

Lecture notes in computer science, 0302-9743 ; 2635

Language:

English

Subjects (All):

Object-oriented methods (Computer science).

Formal methods (Computer science).

System design.

Genre:

Festschriften.

Physical Description:

x, 388 pages : illustrations, portrait ; 24 cm.

Place of Publication:

Berlin ; New York : Springer, 2004.

Summary:

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: -- "For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67." -- 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: "The Birth of Object-Orientation: the Simula Languages." 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.

Notes:

Includs bibliographical references and index.

ISBN:

354021366X

OCLC:

54973867