374 search results - page 1 / 75 » Applying Static Analysis to Software Architectures |
ESEC
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
ESSOS
2010
Springer
14 years 1 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
ECRTS
2005
IEEE
13 years 10 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
SC
2000
ACM
13 years 9 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...