A formal approach for specification and classification of software components.
Sathit NakkrasaePeraphon SophatsathitPublished in: SEKE (2002)
Keyphrases
- software components
- formal specification
- software systems
- software modules
- decision trees
- classification accuracy
- software reuse
- building blocks
- software development
- support vector machine
- formal methods
- feature space
- web services
- support vector
- high level
- artificial intelligence
- machine learning
- real world
- information systems
- java programs