251 search results - page 5 / 51 » Retrenchment, Refinement, and Simulation |
92
Voted
ATS
2000
IEEE
15 years 7 months ago
2000
IEEE
116
click to vote
IFM
2000
Springer
15 years 7 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 ...
142
Voted
TEDU
2008
15 years 1 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...
144
Voted
JUCS
2008
15 years 3 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...
108
click to vote
CHARME
2003
Springer
15 years 7 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...