2255 search results - page 51 / 451 » High Assurance Software Systems |
144
click to vote
ICSM
2009
IEEE
16 years 20 days ago
2009
IEEE
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...
146
click to vote
CISIS
2010
IEEE
16 years 27 days ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
151
click to vote
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
sents some concluding remarks and discusses future work. This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high ...
133
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
No two flight missions are alike, hence, development and on-orbit software costs are high. Software portability and adaptability across hardware platforms and operating systems ha...
129
click to vote
TC
2002
15 years 5 months ago
2002
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...