Sciweavers

3376 search results - page 273 / 676
» Analyzing Software Evolvability
Sort
View
PADL
2010
Springer
16 years 3 months ago
First-Order Interactive Programming
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
Roly Perera
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
EDOC
2008
IEEE
16 years 1 months ago
Automating Co-evolution in Model-Driven Engineering
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo,...
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
16 years 27 days ago
Design Pattern Evolution and Verification Using Graph Transformation
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
Chunying Zhao, Jun Kong, Kang Zhang
ECOOP
2007
Springer
16 years 22 days ago
Metamodel Adaptation and Model Co-adaptation
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
Guido Wachsmuth