基于规则的用例规约验证方法 (Rule-based Verification of Use Case Specification).
Ying ZhangJi WuChao LiuHaiyan YangNing HuPublished in: 计算机科学 (2017)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- model checking
- expert systems
- data driven
- formal specification
- colored petri nets
- high level
- requirements elicitation
- concurrent systems
- verification method
- requirements analysis
- specification language
- rule based systems
- activity diagrams
- face verification
- object oriented
- signature verification
- rule base
- temporal logic
- temporal ordering
- distributed systems
- real time