575 search results - page 19 / 115 » Simulating the Structural Evolution of Software |
113
click to vote
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
130
click to vote
SOFTVIS
2005
ACM
15 years 8 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
170
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
131
click to vote
METRICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...
WSC
1998
15 years 3 months ago
1998
In simulation software selection problems, packages are evaluated either on their own merits or in comparison with other packages. In either method, a list of criteria for evaluat...