Sciweavers

ICFEM
2005
Springer
14 years 3 months ago
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
Ana Paiva, João C. P. Faria, Nikolai Tillma...
ICFEM
2005
Springer
14 years 3 months ago
Visualizing and Simulating Semantic Web Services Ontologies
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...
Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun
ICFEM
2005
Springer
14 years 3 months ago
An Evidential Tool Bus
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...
John M. Rushby
ICFEM
2005
Springer
14 years 3 months ago
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, J...
ICFEM
2005
Springer
14 years 3 months ago
Testing Real-Time Multi Input-Output Systems
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...
Laura Brandán Briones, Ed Brinksma
ICFEM
2005
Springer
14 years 3 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
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...
Jens Brandt, Klaus Schneider
ICFEM
2005
Springer
14 years 3 months ago
An Improved Rule for While Loops in Deductive Program Verification
Bernhard Beckert, Steffen Schlager, Peter H. Schmi...
ICFEM
2005
Springer
14 years 3 months ago
A Compositional Framework for Service Interaction Patterns and Interaction Flows
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...
Alistair P. Barros, Egon Börger
ICFEM
2005
Springer
14 years 3 months ago
29 New Unclarities in the Semantics of UML 2.0 State Machines
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...
Harald Fecher, Jens Schönborn, Marcel Kyas, W...
ICFEM
2005
Springer
14 years 3 months ago
An Abstract Model for Process Mediation
Michael Altenhofen, Egon Börger, Jens Lemcke