Engineering Theories of Software Construction

Add to Wishlist

ISBN-10:: 1586031724
ISBN-13:: 9781586031725
Pub. Date:: 08/28/2001
Publisher:: IOS Press, Incorporated

Engineering Theories of Software Construction

Hardcover

$90.0

$90.00

SHIP THIS ITEM
In stock. Ships in 1-2 days.
PICK UP IN STORE

Your local store may have stock of this item.

Available within 2 business hours

Overview

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
Table of Contents

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

	Preface	vii
Part 0.	Problem Structure and Specification
	Problem Analysis and Structure	3
	Unifying Theories for Logic Programming	21
	Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-Language Calls in Haskell	47
	Adaptation in HOT Languages: Comparing Polymorphism, Modules, and Objects	97
Part 1.	Modelling Reactive Systems
	Programming for Behaviour	135
	From States to Histories: Relating State and History Views onto Systems	149
	The [pi]-Calculus: An Introduction	187
	Performance Modelling Using Probabilistic Process Algebra	223
Part 2.	System and Program Verification
	Taming the Infinite: Verification of Infinite-State Reactive Systems by Finitary Means	261
	Extended Static Checking	301
	Software Model Checking	309
	Author Index	357

From the B&N Reads Blog

Page 1 of

Overview

Product Details

Table of Contents

Related Subjects

Customer Reviews