2836 search results - page 72 / 568 » Model Checking for Software Architectures |
153
Voted
WICSA
2004
15 years 4 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
158
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
122
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
106
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
115
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...