Semi-automatic guided synthesis of concurrent systems specifications.
G. LeonJ. CeaA. de la FuenteF. RodriguezPublished in: Microprocess. Microprogramming (1987)
Keyphrases
- semi automatic
- concurrent systems
- transition systems
- temporal logic
- distributed systems
- formal specification
- process algebra
- fully automatic
- petri net
- model checking
- gold standard
- semi automatically
- semantic annotation
- program synthesis
- domain ontology
- wrapper generation
- ontology mapping
- labor intensive
- design rationale
- knowledge extraction
- keywords