98 search results - page 8 / 20 » Deriving Measures of Software Reuse in Object Oriented Syste... |
FASE
2000
Springer
15 years 1 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
168
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
119
click to vote
ESEM
2010
ACM
14 years 10 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
105
click to vote
JOT
2010
14 years 8 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
AR
2004
14 years 10 months ago
2004
This paper presents theoretical and experimental results for the estimation of large position and orientation inaccuracies during force-controlled compliant motion. This is a signi...