16725 search results - page 3142 / 3345 » Engineering Software Correctness |
136
click to vote
IAT
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
119
click to vote
INFOVIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Many networks under study in Information Visualization are “small world” networks. These networks first appeared in the study social networks and were shown to be relevant mod...
117
click to vote
ISESE
2003
IEEE
15 years 9 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
127
click to vote
ISESE
2003
IEEE
15 years 9 months ago
2003
IEEE
Pair programming is a practice in which two programmers work collaboratively at one computer on the same design, algorithm, code, or test. Pair programming is becoming increasingl...
126
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...