110 search results - page 1 / 22 » Software Process Synthesis in Assurance Based Development of... |
EDCC
2010
Springer
13 years 9 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
DSN
2007
IEEE
13 years 11 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
ICECCS
2007
IEEE
13 years 8 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
ISPW
2005
IEEE
13 years 10 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
ASWSD
2004
Springer
13 years 10 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...