Sciweavers

Share
IWFM
2000
162views Formal Methods» more  IWFM 2000»
8 years 6 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 hav...
Claus Pahl
books