976 search results - page 105 / 196 » Approach to a Theory of Software Evolution |
146
click to vote
PEPM
2010
ACM
15 years 3 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
141
click to vote
RTAS
2003
IEEE
15 years 6 months ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
110
click to vote
IWSSD
1993
IEEE
15 years 5 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
128
click to vote
BCS
2008
15 years 2 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
106
click to vote
IWPSE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...