Login / Signup

A formally defined and formally provable EBNF-based constraint language for use in qualifiable software.

Vanessa TietzBjörn Annighöfer
Published in: MoDELS (Companion) (2022)
Keyphrases
  • constraint language
  • software systems
  • database
  • source code
  • computer systems
  • modeling language
  • metadata
  • computational complexity
  • low level
  • software development
  • software architecture
  • software maintenance