Using Expert Systems to Construct Formal Specifications.
Mark R. BlackburnPublished in: IEEE Expert (1989)
Keyphrases
- formal specification
- expert systems
- object oriented design
- model checking
- specification languages
- process algebra
- knowledge based systems
- concurrent systems
- reverse engineering
- specification language
- design methodology
- artificial intelligence
- knowledge engineering
- knowledge acquisition
- fuzzy logic
- information systems
- real world
- integrity constraints
- formal methods
- knowledge representation
- semantic data models