Integrating a formal specification notation with HOOD.
Mingchun ZhengJiazhong ZhangYanbing WangPublished in: ACM SIGSOFT Softw. Eng. Notes (1998)
Keyphrases
- formal specification
- model checking
- specification language
- object oriented design
- specification languages
- formal methods
- reverse engineering
- data abstraction
- process algebra
- concurrent systems
- model checker
- protocol specification
- knowledge base
- grid workflow
- knowledge based systems
- software development
- fuzzy logic
- information technology