Sciweavers

2250 search results - page 199 / 450
» Interactive Explanation of Software Systems
Sort
View
SIGSOFT
1998
ACM
15 years 8 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
FASE
2005
Springer
15 years 9 months ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel
ICCS
2003
Springer
15 years 9 months ago
Computational Science Simulations Based on Web Services
Abstract. We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized...
L. Paul Chew, Nikos Chrisochoides, S. Gopalsamy, G...
ICAT
2006
IEEE
15 years 10 months ago
TAVERNS: Visualization and Manipulation of GIS Data in 3D Large Screen Immersive Environments
Currently there are many software packages that allow analysis of Geographic Information Systems (GIS) data. However, these software packages limit user interaction and exploratio...
Simon Su, William R. Sherman, Frederick C. Harris ...
METRICS
2002
IEEE
15 years 9 months ago
Testability Analysis of a UML Class Diagram
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
Benoit Baudry, Yves Le Traon, Gerson Sunyé