374 search results - page 5 / 75 » Applying Static Analysis to Software Architectures |
IJSEKE
2000
13 years 7 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
EUROMICRO
2002
IEEE
14 years 10 days ago
2002
IEEE
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
OSDI
2006
ACM
14 years 7 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...