2527 search results - page 340 / 506 » A UML-Based Approach to System Testing |
103
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
103
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we propose a new robust approach to signal backtrace for efficiently testing embedded analog modules in a large system. The proposed signal backtrace method is form...
176
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
141
click to vote
DL
1997
Springer
15 years 8 months ago
1997
Springer
We describe a case study in the design of a user interface to a digital library. Our design stems from a vision of a library as a channel to the vast array of digital information ...
121
click to vote
VL
1996
IEEE
15 years 8 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...