2255 search results - page 18 / 451 » High Assurance Software Systems |
ECOOP
2010
Springer
14 years 1 months ago
2010
Springer
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
POLICY
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
IWSAS
2001
Springer
14 years 1 months ago
2001
Springer
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...