Login / Signup
An MDA Approach for the Specification of Relay-Based Diagrams.
Dalay Israel de Almeida Pereira
Ouahmed Malki
Philippe Bon
Matthieu Perin
Simon Collart Dutilleul
Published in:
MEDI Workshops (2018)
Keyphrases
</>
uml diagrams
formal specification
sequence diagrams
specification language
high level
software design
model driven architecture
databases
software development
software engineering
reverse engineering
data integration
formal methods
graphical representations
provably correct
case study
neural network