Pattern-Based Layout Specifications for Visual Language Editors.

Sonja Maier Mark Minas

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)

Keyphrases

delay insensitive
special issue
reactive systems
database
similarity measure
bounded model checking
real time
neural network
decision trees
source code
formal specification
operational semantics