Semi-automatic Transformation from Formal Specifications to Programs.
Shaoying LiuChris Ho-StuartPublished in: ICECCS (1996)
Keyphrases
- semi automatic
- formal specification
- fully automatic
- model checking
- object oriented design
- specification languages
- gold standard
- specification language
- reverse engineering
- formal methods
- domain ontology
- formal specification language
- wrapper generation
- semi automatically
- semantic annotation
- software components
- transformation rules
- concurrent systems
- landmark extraction
- ontology construction
- temporal logic
- text mining
- artificial intelligence