[safety-creation] Small fixes
- Delete Assurance Claim Patterns Database from the Context Menu of Assurance Package elements;
- Delete “Type” from the Properties View of Argument Modules and in the metamodel;
- Implement:
—- ExplicitCase requires to document goal decompositions via strategies.
Therefore, a constraint
on the assurance case model enforces the existence of a strategy node
whenever the user wants
to connect two goals.
—- Avoidance of circular argumentation
(from redmine: issue id 4054, created on 2020-08-13, closed on 2020-10-20)
- Relations:
- parent #3784