6800 search results - page 301 / 1360 » Testing with Functions as Specifications |
209
click to vote
DSD
2005
IEEE
16 years 20 days ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...
218
click to vote
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
177
click to vote
IJCAI
1997
15 years 8 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
161
click to vote
ANSOFT
1999
15 years 6 months ago
1999
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
229
click to vote
STVR
2010
15 years 1 months ago
2010
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...