Formal Foundations for Reasoning about Composition

K. De Volder (Editor), Maurice Glandrup, Arend Rensink

    Research output: Contribution to conferencePaper

    45 Downloads (Pure)


    Designing software systems is difficult. Designing systems that are capable of evolving is even more difficult. Often the system evolves in an unforeseen direction. Practice shows that software systems grow in small evolutionary steps. An evolution usually influences the behavior and the structure of the system. However, it is not desired that the evolution influences one or more modules of the system that are functionally or logically not related to the evolution; the behavior and structure of these modules should be preserved.
    Original languageUndefined
    Number of pages8
    Publication statusPublished - 14 Oct 2001
    EventOOPSLA 2001 Workshop Advanced Separation of Concerns - Tampa Convention Center, Tampa Bay, United States
    Duration: 14 Oct 200114 Oct 2001


    WorkshopOOPSLA 2001 Workshop Advanced Separation of Concerns
    Country/TerritoryUnited States
    CityTampa Bay
    Internet address


    • IR-64066
    • EWI-10042

    Cite this