Login / Signup
Towards a Formal Model for Software Component Composition using Whole-Part Theory.
Phillipa L. Bennett
Ezra Kaahwa Mugisa
Published in:
Software Engineering Research and Practice (2008)
Keyphrases
</>
formal model
software components
formal models
building blocks
software systems
software development
predicate calculus
security properties
software reuse
reusable components
security patterns
metadata
cooperative
open source
commercial off the shelf