133 search results - page 6 / 27 » Analysis of Preventive Maintenance in Transactions Based Sof... |
WCRE
1993
IEEE
14 years 20 days ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
FASE
2007
Springer
14 years 2 months ago
2007
Springer
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
SCAM
2005
IEEE
14 years 2 months ago
2005
IEEE
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
SERP
2004
13 years 10 months ago
2004
Attention to aspect oriented programming (AOP) is rapidly growing as its benefits in large software system development and maintenance are increasingly recognized. However, existin...
FUIN
2006
13 years 8 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...