2748 search results - page 330 / 550 » Generating Object-Z Specifications from Use Cases |
125
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an approach for generating test data for unit-level, and possibly integration-level, testing based on sampling over intervals of the input probability distribu...
151
click to vote
INFSOF
2007
15 years 4 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
123
click to vote
VTS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a pseudo-functional BIST scheme that attempts to minimize the over-testing problem of logic BIST for delay and crosstalk-induced failures. The over-testing pro...
135
click to vote
PAMI
2000
15 years 4 months ago
2000
This paper presents a new technique which incrementally builds a hierarchical discriminant regression (IHDR) tree for generation of motion based robot reactions. The robot learned...
155
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...