Software Component Reuse Using Formal Methods & k-nn Technique.
Simarjot SinghRajesh Kumar BhatiaPublished in: Software Engineering Research and Practice (2003)
Keyphrases
- formal methods
- knn
- software components
- software reuse
- formal specification
- k nearest neighbor
- reusable components
- software engineering
- nearest neighbor
- software development
- software systems
- k nearest neighbour
- component based software engineering
- distance function
- text categorization
- building blocks
- knowledge based systems
- neural network
- model checking
- artificial intelligence
- text classification
- web services
- voting methods
- modeling language
- feature selection
- graph construction
- design rationale
- temporal logic
- k nearest
- case study
- nearest neighbor algorithm
- knowledge acquisition
- development lifecycle
- real world
- nearest neighbour
- cooperative
- natural language
- learning objects
- data sets