251 search results - page 5 / 51 » Retrenchment, Refinement, and Simulation |
ATS
2000
IEEE
13 years 12 months ago
2000
IEEE
IFM
2000
Springer
13 years 11 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
TEDU
2008
13 years 6 months ago
2008
Abstract. Traditionally, medical education has used live patients to teach medical procedures. This carries a significant risk to patients. As learning technology advances, the ear...
JUCS
2008
13 years 7 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
CHARME
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...