• DOI:10.1142/3831
Corpus ID: 40503946

Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

@inproceedings{Diaconescu1998CafeobjR,
  title={Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification},
  author={R. Diaconescu and K. Futatsugi},
  booktitle={AMAST Series in Computing},
  year={1998}
}

• R. Diaconescu, K. Futatsugi
• Published in AMAST Series in Computing 1998
• Mathematics, Computer Science

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed

Basic specifications - signatures models sentences satisfaction proof system structuring specifications - fundamental semantics concepts module imports views parameterized modules module expressions built-in modules proof technologies - rewriting induction coinduction methodologies - nondeterminism concurrent object composition dynamic systems of objects applications in rewriting logic general small methodological advises.