๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Rhythm of Relating in a Paradigm of Wholeness

โœ Scribed by Newman, Margaret A.


Book ID
109234532
Publisher
Wiley (Blackwell Publishing)
Year
1999
Tongue
English
Weight
494 KB
Volume
31
Category
Article
ISSN
0743-5150

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Incompleteness of relational simulations
โœ Eerke Boiten; John Derrick ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 259 KB

Refinement is the notion of development between formal specifications. For specifications given in a relational formalism, downward and upward simulations are the standard method to verify that a refinement holds, their usefulness based upon their soundness and joint completeness. This is known to b