Models, Algebras and Logic of Engineering Software

Front Cover
Manfred Broy, Markus Pizka
IOS Press, 2003 - Computers - 403 pages
This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Preface
1
An Overview
43
Unifying Theories of Parallel Programming
81
Algorithmic and Deductive Verification Methods for CTL
109
Exploiting Independence for Verification Refinement and Modularity
195
On Translating Models and Properties
209
Proving Theorems about Java and the JVM with ACL2
227
Assertions
255
David Harel
317
Micromodels of Software
351
Modeling and Verifying a Lego Car Using Hybrid 10 Automata
385
Author Index
403
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information