Sign in
A model-driven approach to catch performance antipatterns in ADL specifications.
Martina De Sanctis
Catia Trubiani
Vittorio Cortellessa
Antinisca Di Marco
Mirko Flamminj
Published in:
Inf. Softw. Technol. (2017)
Keyphrases
</>
description language
delay insensitive
metamodel
specification language
high level
bounded model checking
database
expert systems
formal specification
data sets
artificial intelligence
functional requirements
activities of daily living
written in natural language