Formal Foundations for Reasoning about Composition

K. De Volder; Maurice Glandrup; Arend Rensink

Formal Foundations for Reasoning about Composition

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

Research output: Contribution to conference › Paper

70 Downloads (Pure)

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.

Original language	Undefined
Number of pages	8
Publication status	Published - 14 Oct 2001
Event	OOPSLA 2001 Workshop Advanced Separation of Concerns - Tampa Convention Center, Tampa Bay, United States Duration: 14 Oct 2001 → 14 Oct 2001 http://www.oopsla.org/2001/fp/workshops/06.html

Workshop

Workshop	OOPSLA 2001 Workshop Advanced Separation of Concerns
Country/Territory	United States
City	Tampa Bay
Period	14/10/01 → 14/10/01
Internet address	http://www.oopsla.org/2001/fp/workshops/06.html

Keywords

IR-64066
EWI-10042

Access to Document

Cite this

@conference{4d0b1eda120744c8a87a62b2d1889ab3,

title = "Formal Foundations for Reasoning about Composition",

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.",

keywords = "IR-64066, EWI-10042",

author = "{De Volder}, K. and Maurice Glandrup and Arend Rensink",

note = "Position paper; OOPSLA 2001 Workshop Advanced Separation of Concerns ; Conference date: 14-10-2001 Through 14-10-2001",

year = "2001",

month = oct,

day = "14",

language = "Undefined",

url = "http://www.oopsla.org/2001/fp/workshops/06.html",

}

TY - CONF

T1 - Formal Foundations for Reasoning about Composition

AU - Glandrup, Maurice

AU - Rensink, Arend

A2 - De Volder, K.

N1 - Position paper

PY - 2001/10/14

Y1 - 2001/10/14

N2 - 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.

AB - 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.

KW - IR-64066

KW - EWI-10042

M3 - Paper

T2 - OOPSLA 2001 Workshop Advanced Separation of Concerns

Y2 - 14 October 2001 through 14 October 2001

ER -