WG211/M21RochaSilva

From WG 2.11
Jump to: navigation, search

In this talk, I’ll present our current efforts towards the definition of a high-level DSL for specifying software behavior. We employ a scenario-based specification to make it accessible to non-programmers. Our goal is to raise the abstraction to a level as close as possible to natural language but keeping the necessary formalism to allow for program generation.