127 search results - page 10 / 26 » Contract-Based Approach to Analyze Software Components |
ICSE
1995
IEEE-ACM
15 years 3 months ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
95
Voted
RE
2006
Springer
14 years 11 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
100
click to vote
COMPSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
JSS
2008
14 years 11 months ago
2008
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
107
click to vote
ICCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Contemporary high-end Terascale and Petascale systems are composed of hundreds of thousands of commodity multi-core processors interconnected with high-speed custom netwo...