Login / Signup
Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language.
Arvid Butting
Arne Haber
Lars Hermerschmidt
Oliver Kautz
Bernhard Rumpe
Andreas Wortmann
Published in:
ECMFA (2017)
Keyphrases
</>
description language
description languages
software architecture
specification language
action language
web services
model checker
web service composition
artificial intelligence
general purpose
service oriented
cooperative
knowledge representation
software development
software systems
model checking