171 search results - page 11 / 35 » Precise Documentation of Critical Software |
ECBS
2009
IEEE
14 years 2 months ago
2009
IEEE
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...
WWW
2002
ACM
13 years 7 months ago
2002
ACM
In this paper, we present two ways to improve the precision of HITS-based algorithms on Web documents. First, by analyzing the limitations of current HITS-based algorithms, we pro...
CC
2012
Springer
12 years 3 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
EDCC
2010
Springer
14 years 21 days 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 ...
ICSOFT
2007
13 years 9 months ago
2007
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...