A reification calculus for model-oriented software specification
This paper presents a transformational approach to the derivation of implementations from model-oriented specifications of abstract data types. The purpose of this research is to reduce the number of formal proofs required in model refinement, which hinder software development. It is shown to be app...
| Main Author: | |
|---|---|
| Format: | article |
| Language: | eng |
| Published: |
1990
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/5222 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/5222 |