Evolving the DEMO Specification Language.

Mark A. T. Mulder Henderik A. Proper

Published in: EEWC (2020)

Keyphrases

specification language
formal specification
description language
programming language
software environment
domain specific
symbolic execution
requirements specification
database
dynamic environments
artificial intelligence
data model
fine grained
model checking
reverse engineering