4245 search results - page 5 / 849 » Integrating Software by Integrating People |
153
click to vote
JAR
2006
15 years 6 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
173
click to vote
AGILEDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a journey from 2004 to 2008 when SoftwarePeople in Denmark, together with a partner from Bangladesh, established a subsidiary company more than 7000 km away f...
157
click to vote
IJCCBS
2010
15 years 4 months ago
2010
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
162
click to vote
FLAIRS
2004
15 years 7 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...