Automatic Generation of Formal Specification from Requirements Definition.
Lingzi JinHong ZhuPublished in: ICFEM (1997)
Keyphrases
- formal specification
- specification language
- object oriented design
- specification languages
- model checking
- process algebra
- grid workflow
- design methodologies
- software components
- reverse engineering
- automatically generate
- formal methods
- data abstraction
- model checker
- concurrent systems
- information systems
- formal specification language
- business rules
- business process
- distributed systems
- expert systems