Towards Software Reuse Using Parameterized Formal Specifications.
Chia-Chu ChiangPublished in: IRI (2003)
Keyphrases
- software reuse
- formal specification
- software components
- specification language
- specification languages
- software systems
- software development
- object oriented design
- software engineering
- building blocks
- model checking
- reusable components
- code generation
- reverse engineering
- clone detection
- formal methods
- concurrent systems
- development process
- software quality
- integrity constraints
- web services
- databases