Model Based System Assurance Using the Structured Assurance Case Metamodel.
Ran WeiTim P. KellyXiaotian DaiShuai ZhaoRichard HawkinsPublished in: CoRR (2019)
Keyphrases
- metamodel
- uml profile
- life cycle
- model driven
- reference model
- modeling language
- software systems
- information security
- black box
- development process
- structured data
- data model
- design patterns
- database
- error rate
- information systems
- transformation rules
- design rationale
- source code
- high level
- platform independent
- artificial intelligence