1288 search results - page 92 / 258 » On Analysis of Design Component Contracts: A Case Study |
121
click to vote
ASWEC
2009
IEEE
15 years 8 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
100
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
103
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised ap...
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...
113
click to vote
CASCON
2007
15 years 3 months ago
2007
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...