| W.L. Hrsch and L.M. Keszenheimer, "Automating Change Management of Object-Oriented Systems," Technical Report NU-CCS-95-06, College of Computer Science, Northeastern Univ., Boston, May 1995. |
No context found.
W.L. Hrsch and L.M. Keszenheimer, "Automating Change Management of Object-Oriented Systems," Technical Report NU-CCS-95-06, College of Computer Science, Northeastern Univ., Boston, May 1995.
....order of the (given) pre defined propagation pattern. This important property of propagation pattern refinement is stated formally in the following proposition. Readers who are interested in the formal proof of the proposition may refer to our technical report [ The techniques developed in [18, 8] can also be used for constructive proof of this proposition. Proposition 2 (wrapper order property of propagation pattern refinement) Let G = V; L; E) be a class dictionary graph and ff = M(ff) PD(ff) MA(ff) and fi = M(fi) PD(fi) MA(fi) be two given propagation patterns compatible with ....
....of propagation patterns has been described in [18] The paper shows how to generate an efficient object oriented program, say in C , for a given propagation pattern and a compatible class dictionary graph. A proof of the correctness of the core of the translation is given. The work in [8] presented a formal framework for maintaining behavior and consistency of objectoriented systems during software evolution. The framework effectively couples the change avoidance approach of propagation patterns with a change management mechanism to fully automate evolution. Class structure ....
W. L. Hursch and L. M. Keszenheimer. Automating Change Management of Object-Oriented Systems. Technical Report NU-CCS-95-06, College of Computer Science, Northeastern University, Boston, MA, May 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC