Software reuse using formal specification of requirements.
Kasilingam PeriyasamyJ. ChidambaramPublished in: CASCON (1996)
Keyphrases
- formal specification
- software reuse
- software components
- object oriented design
- software development
- code generation
- software systems
- model checking
- specification language
- software engineering
- specification languages
- reusable components
- building blocks
- reverse engineering
- formal methods
- process algebra
- concurrent systems
- grid workflow
- web services
- component based development
- machine learning
- data mining