900 search results - page 33 / 180 » A Tool-Supported Approach to Testing UML Design Models |
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
JUCS
2002
13 years 7 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
JOT
2010
13 years 6 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
JSS
2000
13 years 7 months ago
2000
The basic motivation for software inspections is to detect and remove defects before they propagate to subsequent development phases where their detection and removal becomes more...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...