Formal Foundations for Reasoning about Composition

Share/Save/Bookmark

Glandrup, M.H.J. and Rensink, A. (2001) Formal Foundations for Reasoning about Composition. In: OOPSLA 2001 Advanced Separation of Concerns Workshop, 14 October 2001, Tampa Bay, USA.

open access
[img]
Preview
PDF
142kB
Abstract: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.
Item Type:Conference or Workshop Item
Additional information:Position paper
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64066
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page