1704 search results - page 130 / 341 » Focusing Software Education on Engineering |
134
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
135
click to vote
CACM
2010
15 years 1 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
156
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
127
click to vote
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
150
click to vote
ICIS
2001
15 years 5 months ago
2001
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...