A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements.

Published in: ABZ (2020)

Keyphrases

high level
low level
higher level
expert systems
real time systems
dynamic aspects
machine learning
computer vision
decision trees
digital libraries
general purpose
source code
application specific
requirements specification