1023 search results - page 89 / 205 » Renaissance: A Method to Support Software System Evolution |
147
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
138
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
146
click to vote
AGILEDC
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...
147
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
140
Voted
ANSOFT
1998
15 years 4 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...