6474 search results - page 580 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
172
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
191
click to vote
WCRE
2002
IEEE
16 years 4 days ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...
165
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associat...
224
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
210
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...