Software Abstractions

Front Cover
MIT Press
0 Reviews
 

What people are saying - Write a review

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

Contents

Preface
Acknowledgments xv
A Whirlwind Tour 5
Logic 33
Language 83
Assertions
Analysis 139
Counterexamples
Lexical Issues 253
Precedence and Associativity 257
Kernel Semantics 291
Diagrammatic Notation 295
An Example 299
B 306
OCL 312
VDM 318

Examples 169
Exercises 229
Extending Simple Models 239
Metamodels 245
OpenEnded Case Studies 251

Other editions - View all

Common terms and phrases

Bibliographic information