Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns.
Imen SayarJeanine SouquièresPublished in: RE Workshops (2019)
Keyphrases
- formal specification
- object oriented design
- software design
- reverse engineering
- information retrieval systems
- information retrieval
- design principles
- development process
- retrieval systems
- document images
- general purpose
- expert systems
- case study
- database
- knowledge acquisition
- open source
- document clustering
- high level
- knowledge base
- design methodology
- information systems
- formal methods
- concurrent systems
- specification languages