Using Analogy and Formal Methods for Software Reuse.
Jun-Jang JengBetty H. C. ChengPublished in: ICTAI (1993)
Keyphrases
- formal methods
- software reuse
- software engineering
- software development
- formal analysis
- software components
- knowledge based systems
- artificial intelligence
- reusable components
- software systems
- model checking
- formal specification
- model checker
- clone detection
- safety critical
- process algebra
- development process
- reverse engineering
- software design
- object oriented
- development lifecycle
- software developers
- software quality
- modeling language
- software maintenance
- real world
- design patterns
- information systems
- machine learning