1099 search results - page 110 / 220 » Using Transformation Systems for Software Maintenance and Re... |
122
Voted
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Modularity is a desirable property of complex software systems, since it simplifies code reuse, verification, maintenance, etc. However, the use of loosely coupled modules intro...
159
Voted
HOTSWUP
2009
ACM
15 years 7 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
134
Voted
WCRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
114
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
267
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...