553 search results - page 4 / 111 » A Perspective on Component Refinement |
RTSS
2009
IEEE
14 years 1 months ago
2009
IEEE
ICECCS
2007
IEEE
13 years 10 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
ENTCS
2008
13 years 5 months ago
2008
DLOG
2009
13 years 4 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
EMISA
2002
Springer
13 years 6 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...