56 search results - page 1 / 12 » Integrating Verification and Testing of Object-Oriented Soft... |
TAP
2008
Springer
13 years 4 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
PDSE
1998
13 years 5 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
GI
2007
Springer
13 years 10 months ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
CLEIEJ
2008
13 years 4 months ago
2008
CORR
1999
Springer
13 years 4 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...