ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
ICFEM
2005
Springer
14 years 5 months ago
2005
Springer
