Models, Algebras and Logic of Engineering SoftwareManfred Broy, Markus Pizka 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. |
Contents
Preface | 1 |
An Overview | 43 |
Unifying Theories of Parallel Programming | 81 |
Copyright | |
10 other sections not shown
Other editions - View all
Common terms and phrases
abstraction actions algebra allows application approach assertion assume atoms basic behavior binding called checking complete components composition Computer concurrent condition cons consider construction contains correctness defined definition denote described engineering equal equational example execution expression fact field Figure formal formula function give given heap holds implementation initial instance interface introduce labels language List logic machine maps mathematical Maude means method module Natural NeList notation Note object operations possible predicate present proof properties prove reduction reference refinement relation represented requirements result rev V#0 rewrite rules satisfies Science semantics sequence signature sort specification stack step structure symbols temporal theorem theory thread tool transition translation true unit variables verification