Sciweavers

403 search results - page 7 / 81
» Integrating Z into Large Projects Tools and Techniques
Sort
View
69
Voted
DGO
2003
151views Education» more  DGO 2003»
14 years 10 months ago
COPLINK: Visualization for Crime Analysis
We have applied various visualization techniques to assist crime analysis. These techniques include a hierarchical list, a hyperbolic tree, a time line tool, a periodic pattern to...
Hsinchun Chen, Homa Atabakhsh, Tim Petersen, Jenni...
UML
2004
Springer
15 years 2 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin
INFSOF
2007
104views more  INFSOF 2007»
14 years 9 months ago
A state-based approach to integration testing based on UML models
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...
ICECCS
1996
IEEE
209views Hardware» more  ICECCS 1996»
15 years 1 months ago
Coupling-based Integration Testing
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
Zhenyi Jin, A. Jefferson Offutt
DEBU
2002
105views more  DEBU 2002»
14 years 9 months ago
Data Integration: Where Does the Time Go?
We present a modular breakdown of data integration tasks and the results of a survey on the distribution of effort among those tasks. The modularization aids in project planning a...
Leonard J. Seligman, Arnon Rosenthal, Paul E. Lehn...