2702 search results - page 5 / 541 » Practically Applicable Formal Methods |
ZUM
1997
Springer
13 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
ESWS
2010
Springer
13 years 10 months ago
2010
Springer
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
FM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
FCA
2005
Springer
14 years 18 days ago
2005
Springer
FM
2001
Springer
13 years 11 months ago
2001
Springer