Sciweavers

2249 search results - page 165 / 450
» ILP-based engineering change
Sort
View
157
Voted
ESEM
2007
ACM
15 years 8 months ago
How Software Designs Decay: A Pilot Study of Pattern Evolution
A common belief is that software designs decay as systems evolve. This research examines the extent to which software designs actually decay by studying the aging of design patter...
Clemente Izurieta, James M. Bieman
FM
2008
Springer
93views Formal Methods» more  FM 2008»
15 years 5 months ago
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
118
Voted
ADBIS
2010
Springer
181views Database» more  ADBIS 2010»
15 years 5 months ago
Stones Falling in Water: When and How to Restructure a View-Based Relational Database
Nowadays, one of the most important problems of software engineering continues to be the maintenance of both databases and applications. It is clear that any method that can reduce...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
APCCM
2008
15 years 5 months ago
Model Eco-Systems: Preliminary Work
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
Aditya Ghose, George Koliadis
IADIS
2004
15 years 5 months ago
Software for self-government
Government bureaucracies are both extremely complex and long-lived, constantly evolving to reflect and influence their ever changing cultural and physical environments. Software s...
Thomas B. Senior, Brian Warboys