Introduction to the Special Issue on Specification and Design Languages (FDL 2019).

Alain Girault Reinhard von Hanxleden

Published in: ACM Trans. Embed. Comput. Syst. (2021)

Keyphrases

expressive power
formal verification
design process
real time
metamodel
building blocks
query language
case study
databases
knowledge based systems
high level
machine learning
design decisions
software design
optimal design
formal methods
database
formal language
highly modular