Automated Conversion from a Requirements Document to an Executable Formal Specification.
Beum-Seuk LeePublished in: ASE (2001)
Keyphrases
- formal specification
- automated tools
- process algebra
- specification language
- specification languages
- model checking
- object oriented design
- data abstraction
- formal methods
- document images
- reverse engineering
- concurrent systems
- design methodologies
- document collections
- software components
- retrieval systems
- grid workflow
- database
- information retrieval
- databases
- model checker
- information retrieval systems
- protocol specification
- business rules
- multi agent
- knowledge base
- information systems