Sciweavers

3376 search results - page 82 / 676
» Analyzing Software Evolvability
Sort
View
COMPSAC
2008
IEEE
15 years 11 months ago
Framework for Computer-Aided Evolution of Object-Oriented Designs
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
EMSOFT
2010
Springer
15 years 1 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
EVOW
2010
Springer
15 years 11 months ago
Evolving 3D Buildings for the Prototype Video Game Subversion
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
Andrew Martin, Andrew Lim, Simon Colton, Cameron B...
VSTTE
2005
Springer
15 years 10 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...
ICSM
2009
IEEE
15 years 11 months ago
Beyond generated software documentation - A web 2.0 perspective
Over the last decades, software engineering processes have constantly evolved to reflect cultural, social, technological, and organizational changes, which are often a direct resu...
Philipp Schügerl, Juergen Rilling, Philippe C...