Login / Signup
Towards a CBSE Framework for Enhancing Software Reuse: Matching Component Properties Using Semi-formal Specifications and Ontologies.
Andreas S. Andreou
Efi Papatheocharous
Published in:
ENASE (Selected Papers) (2015)
Keyphrases
</>
software components
software reuse
formal specification
software development
databases
artificial intelligence
formal methods
reusable components
knowledge base
high level
lightweight
software systems
specification languages