Sciweavers

4245 search results - page 5 / 849
» Integrating Software by Integrating People
Sort
View
JAR
2006
99views more  JAR 2006»
13 years 9 months ago
An Integrated Approach to High Integrity Software Verification
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...
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderi...
SOFTWARE
2002
13 years 9 months ago
Integrating Business and Software Development Models
Christina Wallin, Fredrik Ekdahl, Stig Larsson
AGILEDC
2009
IEEE
14 years 4 months ago
From CMMI and Isolation to Scrum, Agile, Lean and Collaboration
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...
Mads Troels Hansen, Hans Baggesen
IJCCBS
2010
105views more  IJCCBS 2010»
13 years 8 months ago
Software safety: relating software assurance and software integrity
: 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, ...
Ibrahim Habli, Richard Hawkins, Tim Kelly
FLAIRS
2004
13 years 11 months ago
The Mobile Agents Integrated Field Test
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...
William J. Clancey, Maarten Sierhuis, Rich Alena, ...