36 search results - page 2 / 8 » Refactoring for Parameterizing Java Classes |
POPL
1997
ACM
13 years 8 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
AGILEDC
2006
IEEE
13 years 11 months ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
APSEC
2002
IEEE
13 years 9 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
ESE
2007
13 years 4 months ago
2007
Many authors have implied dependency cycles are widespread among the classes of object-oriented software systems. Proponents of the design principle Avoid cyclic dependencies amon...
ENTCS
2002
13 years 4 months ago
2002
In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented languag...