Automatic Matching of Software Component Requirements using Semi-formal Specifications and a CBSE Ontology.
Andreas S. AndreouEfi PapatheocharousPublished in: ENASE (2015)
Keyphrases
- component based software engineering
- software components
- formal specification
- software systems
- software development
- building blocks
- software reuse
- object oriented design
- ontology matching
- specification language
- formal methods
- web services
- commercial off the shelf
- knowledge base
- domain ontology
- concurrent systems
- specification languages
- software artifacts
- design rationale
- artificial intelligence
- conceptual modeling
- database
- metamodel
- semi automatic
- semantic web
- design methodology
- software projects
- reusable components
- source code