Creating GUI-based DSL formal tools.

Robson Silva Alexandre Mota Rodrigo Rizzi Starr

Published in: IRI (2013)

Keyphrases

user friendly
formal models
formal methods
graphical user interfaces
visual languages
programming language
decision support
software tools
domain specific languages
databases
design decisions
formal model
semantic web
collaborative learning
user interface
expert systems
decision making