Advanced search    

Search: authors:"Ulyana Tikhonova"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Reusable specification templates for defining dynamic semantics of DSLs

semantics; Specification template; Generic programming; Aspectoriented programming B Ulyana Tikhonova 1 Introduction and motivation A domain-specific language (DSL) is a computer language specialized for a ... 15. Fig. 14 Event-B context for the robotic arm DSL Fig. 15 Event-B machine for the semantic module robotic arm parallel (page 1) END Ulyana Tikhonova is finalizing her Ph.D. study at the Model