3514 search results - page 230 / 703 » Evolving Specification Engineering |
PPPJ
2009
ACM
14 years 4 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Applications with Graphical User Interfaces (GUIs) are ubiquitous. Nontrivial GUI-based applications (GAPs) evolve frequently, and understanding how GUIs of different versions of ...