A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures (short paper).

Published in: ECSA (Companion) (2021)

Keyphrases

software architecture
embedded software
software engineering
dynamic environments
description language
information systems
software systems
metamodel
reference model
machine learning
web services
distributed systems
modeling language
product line