Related Books

From Object-Orientation to Formal Methods
Language: en
Pages: 398
Authors: Stein Krogdahl
Categories: Computers
Type: BOOK - Published: 2004-03-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Formal Methods and Object Technology
Language: en
Pages: 379
Authors: Stephen J. Goldsack
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way.
From Object-Orientation to Formal Methods
Language: en
Pages: 394
Authors: Olaf Owe
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Don
Formal Object-Oriented Development
Language: en
Pages: 435
Authors: Kevin Lano
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introd
Formal Methods and Object-orientation
Language: en
Pages: 65
Authors: Eduardo Casais
Categories:
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK