Semantics and Transformations in Formal Synthesis at System Level.

Viktor K. Sabelfeld Christian Blumenröhr Kai Kapp

Published in: Ershov Memorial Conference (2001)

Keyphrases

formal language
real time
formal model
formal specification
levels of abstraction
transformation rules
machine processable
databases
machine learning
genetic algorithm
conceptual model
object level
formal semantics
operational semantics
program synthesis