2825 search results - page 301 / 565 » Support for Object-Oriented Testing |
132
click to vote
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...
101
Voted
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a robotic walker designed as an assistive device for frail elderly people with cognitive impairment. Locomotion is most often the primary form of exercise for...
138
Voted
ISMAR
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we explore the effect of using Augmented Reality for three-dimensional graph link analysis. Two experiments were conducted. The first was designed to compare a tangi...
134
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
130
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...