Login / Signup

ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems.

Henrique Amaral MissonRim ZrelliMaroua Ben AttiaFelipe Gohring de MagalhaesGabriela Nicolescu
Published in: RSP (2023)
Keyphrases
  • modeling language
  • high level
  • low level
  • model driven development
  • cooperative
  • formal methods
  • design rationale
  • databases
  • metamodel
  • uml profile