ISBN-10:
1586031724
ISBN-13:
9781586031725
Pub. Date:
08/28/2001
Publisher:
IOS Press, Incorporated
Engineering Theories of Software Construction

Engineering Theories of Software Construction

Hardcover

Current price is , Original price is $90.0. You
Select a Purchase Option
  • purchase options
    $64.83 $90.00 Save 28% Current price is $64.83, Original price is $90. You Save 28%.
  • purchase options

Overview

Engineering Theories of Software Construction

This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/August 2000). Eleven contributions from professionals in industry and academia trace the path from the scientific foundations of programming theory through the development of toolsets and methods and on to practical application by working engineers. A sampling of topics includes unifying theories for logic programming, performance modeling using probabilistic process algebra, and extended static checking. The volume is not indexed. Annotation c. Book News, Inc., Portland, OR

Product Details

ISBN-13: 9781586031725
Publisher: IOS Press, Incorporated
Publication date: 08/28/2001
Series: NATO Science Series
Pages: 357
Product dimensions: 9.58(w) x 6.54(h) x 1.01(d)
Age Range: 17 Years

Table of Contents

Prefacevii
Part 0.Problem Structure and Specification
Problem Analysis and Structure3
Unifying Theories for Logic Programming21
Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-Language Calls in Haskell47
Adaptation in HOT Languages: Comparing Polymorphism, Modules, and Objects97
Part 1.Modelling Reactive Systems
Programming for Behaviour135
From States to Histories: Relating State and History Views onto Systems149
The [pi]-Calculus: An Introduction187
Performance Modelling Using Probabilistic Process Algebra223
Part 2.System and Program Verification
Taming the Infinite: Verification of Infinite-State Reactive Systems by Finitary Means261
Extended Static Checking301
Software Model Checking309
Author Index357

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews