Date: 2010-10-31 06:33:48

Software engineering

Formal methods

Models of computation

Computing

Engineering

Model checking

Object Process Methodology

Conceptual model

MTSS

Scientific modelling

Refinement

Transition system

Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 141,41 KB