Formal Specification Generation from Requirement Documents.
Gustavo CabralAugusto SampaioPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- formal specification
- model checking
- object oriented design
- specification language
- document collections
- specification languages
- process algebra
- reverse engineering
- information retrieval
- formal methods
- information retrieval systems
- concurrent systems
- data abstraction
- metadata
- software components
- web documents
- keywords
- xml documents
- model checker
- grid workflow
- high level
- database