4061 search results - page 45 / 813 » Framework Evolution Tool |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Calibration is the procedure of quantifying mechanical deficiencies of machines and compensating them by appropriate adjustment. This paper introduces a modelbased measurement...
IJON
2002
13 years 8 months ago
2002
We describe a software-engineering strategy called the `View-Primitive Data Model framework' (or `VPDMf') derived from the design of leading commercial software engineer...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
The inherent differences between C++ and Java programs dictate that the methods used for reverse engineering their compiled executables will be languagespecific. This paper looks ...