From Object-Orientation to Formal Methods : Lecture Notes in Computer Science - Olaf Owe

Instant online reading.
Don't wait for delivery!

From Object-Orientation to Formal Methods

By: Olaf Owe (Editor), Stein Krogdahl (Editor), Tom Lyche (Editor)

Write A Review

Paperback | 1 May 2004

At a Glance

Paperback
404 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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 Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.

Industry Reviews

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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Programming & Scripting Languages Software Engineering Computer Science Computer Architecture & Logic Design

A biography of Ole-Johan Dahl	p. 1
A bibliography of Ole-Johan Dahl	p. 8
The birth of object orientation : the Simula languages	p. 15
An algebraic theory of actors and its application to a simple object-based language	p. 26
Towards posit & prove calculi for requirements engineering and software design	p. 58
Distributed concurrent object-oriented software	p. 83
Composing hidden information modules over inclusive institutions	p. 96
Towards the verifying compiler	p. 124
Object-oriented specification and open distributed systems	p. 137
SIMULA and super-object-oriented programming	p. 165
Efficient coroutine generation of constrained gray sequences	p. 183
Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding	p. 209
The power of abstraction, reuse, and simplicity : an object-oriented library for event-driven design	p. 236
Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games	p. 272
Incremental reasoning for object oriented systems	p. 302
Pure type systems in rewriting logic : specifying typed higher-order languages in a first-order logical framework	p. 334
Building optimal binary search trees from sorted values in O(N) time	p. 376
Table of Contents provided by Blackwell. All Rights Reserved.

From Object-Orientation to Formal Methods

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Advanced Computational Intelligence Techniques for Engineers

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Developing Graphics Frameworks with Java and OpenGL

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Git : Pocket Guide

A Working Introduction

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Applied Machine Learning in Healthcare

Case-Based Approach

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

This product is categorised by