Category localization semantics for specification refinements.
Jerzy TomasikJerzy WeymanPublished in: Ann. Math. Artif. Intell. (2007)
Keyphrases
- specification language
- operational semantics
- specification languages
- action language
- formal language
- conceptual schema
- conceptual model
- formal specification
- active rules
- formal semantics
- high level
- formal methods
- formal languages
- process algebra
- model checking
- definition language
- data sets
- formal verification
- semantic information
- optic disc
- metadata
- attribute grammars
- neural network