Model based system assurance using the structured assurance case metamodel.

Ran Wei Tim P. Kelly Xiaotian Dai Shuai Zhao Richard Hawkins

Published in: J. Syst. Softw. (2019)

Keyphrases

metamodel
life cycle
development process
modeling language
black box
uml profile
reference model
data model
information security
design patterns
model driven
data driven
learning algorithm
data sets
software systems
transformation rules
design rationale
databases