20 search results - page 2 / 4 » icfem 2004 |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...