2935 search results - page 199 / 587 » An Integrated Approach to High Integrity Software Verificati... |
291
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
163
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
170
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...
177
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many Field-Programmable Gate Array (FPGA) based systems utilize third-party intellectual property (IP) in their development. When they are deployed in non-networked envir...
162
click to vote
CASCON
1996
15 years 8 months ago
1996
This paper1 describes an algorithm for testing polymorphic interactions between classes in object-oriented (O-O) software. We propose an Augmented Object Relationship Diagram (AOR...