251 search results - page 5 / 51 » Retrenchment, Refinement, and Simulation |
69
Voted
ATS
2000
IEEE
15 years 4 months ago
2000
IEEE
80
Voted
IFM
2000
Springer
15 years 3 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 ...
103
Voted
TEDU
2008
14 years 10 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...
98
Voted
JUCS
2008
14 years 11 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
15 years 3 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...