Sciweavers

Share
IWFM
2000

Modal Logics for Reasoning about Object-based Component Composition

8 years 5 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system have to be modified or replaced. The software architecture in such systems can be described by components and their composition. In order to describe larger architectures, the composition concept becomes crucial. We will present a formal framework for component composition for object-based software development. The deployment of modal logics for defining components and component composition will allow us to reason about and prove properties of components and compositions.
Claus Pahl
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where IWFM
Authors Claus Pahl
Comments (0)
books