Login / Signup
Towards a Formal Specification of Multi-paradigm Modelling.
Moussa Amrani
Dominique Blouin
Robert Heinrich
Arend Rensink
Hans Vangheluwe
Andreas Wortmann
Published in:
MoDELS (Companion) (2019)
Keyphrases
</>
formal specification
model checking
specification languages
object oriented design
specification language
formal methods
reverse engineering
process algebra
concurrent systems
model checker
temporal logic
data abstraction
formal specification language
software components
expert systems
distributed environment
knowledge based systems
multi agent
high level