1023 search results - page 160 / 205 » Renaissance: A Method to Support Software System Evolution |
142
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...
145
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
160
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
126
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
162
click to vote
EGOV
2005
Springer
15 years 9 months ago
2005
Springer
It is generally considered that a key component of electronic government in the future will be electronic voting, as a means of facilitating the participation of citizens in electi...