Automatic support for formal specification construction using pattern knowledge.
Xi WangWeikai MiaoPublished in: SNPD (2016)
Keyphrases
- formal specification
- specification languages
- knowledge management
- model checking
- specification language
- expert systems
- formal methods
- knowledge acquisition
- knowledge base
- software components
- concurrent systems
- communication networks
- knowledge structures
- knowledge based systems
- knowledge representation
- object oriented design
- process algebra