Extending Operation Semantics to Enhance the Applicability of Formal Refinement.
Shaoying LiuPublished in: Specification, Algebra, and Software (2014)
Keyphrases
- model theoretic
- operational semantics
- formal language
- machine processable
- formal semantics
- highly expressive
- semantic information
- specification languages
- communicative acts
- logic programming
- formal model
- real world
- formal languages
- dynamic aspects
- neural network
- real time
- precisely defined
- proof theory
- refinement process
- databases
- high level
- transformation rules
- description logics
- programming language
- xml documents
- multi agent