976 search results - page 94 / 196 » Approach to a Theory of Software Evolution |
135
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...
116
click to vote
WICSA
2007
15 years 2 months ago
2007
In contrast to software architecture models, architectural decisions are often not explicitly documented, and therefore eventually lost. This contributes to major problems such as...
116
click to vote
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
124
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...