Sciweavers

4209 search results - page 137 / 842
» Software Change and Evolution
Sort
View
COSIT
2009
Springer
130views GIS» more  COSIT 2009»
14 years 4 months ago
Case-Based Reasoning for Eliciting the Evolution of Geospatial Objects
Abstract.Abstract.Abstract. This paper proposes an automated approach for describing how geospatial objects evolve. We consider geospatial objects whose boundaries and properties c...
Joice Seleme Mota, Gilberto Câmara, Maria Is...
PAMI
2011
13 years 5 months ago
Topology-Adaptive Mesh Deformation for Surface Evolution, Morphing, and Multiview Reconstruction
—Triangulated meshes have become ubiquitous discrete surface representations. In this paper, we address the problem of how to maintain the manifold properties of a surface while ...
Andrei Zaharescu, Edmond Boyer, Radu Horaud
AOSE
2008
Springer
14 years 8 days ago
Evaluating an Agent-Oriented Approach for Change Propagation
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
Khanh Hoa Dam, Michael Winikoff
WCRE
2007
IEEE
14 years 4 months ago
A Study of Consistent and Inconsistent Changes to Code Clones
Code Cloning is regarded as a threat to software maintenance, because it is generally assumed that a change to a code clone usually has to be applied to the other clones of the cl...
Jens Krinke
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 8 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth