1099 search results - page 110 / 220 » Using Transformation Systems for Software Maintenance and Re... |
161
click to vote
DSN
2007
IEEE
16 years 19 days 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...
188
click to vote
HOTSWUP
2009
ACM
15 years 10 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...
175
click to vote
WCRE
2006
IEEE
16 years 9 days 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...
148
click to vote
MODELS
2007
Springer
16 years 13 days 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...
322
click to vote
ICLP
2009
Springer
16 years 7 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...