1700 search results - page 145 / 340 » Specifying and implementing refactorings |
161
Voted
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...
121
Voted
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
136
Voted
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
149
Voted
EUROMICRO
1996
IEEE
15 years 9 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
133
click to vote
HPDC
1996
IEEE
15 years 9 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...