Assumptions play an important role in assurance cases and they should be properly managed to ensure trustworthy argumentation. On our March meeting we have discussed the main roles the assumptions can play in the argument. On our next meeting we will discuss assumptions management and present demonstrators in NOR-STA. We will focus on the three roles of assumptions:
- closing open arguments,
- representing contextual constraints for a claim,
- representing defeaters.
During the meeting we will present and discuss argument demonstrators in NOR-STA implementing these use cases. The focus will be on assessing adequacy of the current NOR-STA mechanisms and possibly identifying their extensions to be planned for in the NOR-STA Roadmap.
We invite for the next NOR-STA User Group meeting on April 21.
NOR-STA User Group is open for all NOR-STA users. The main goal of the meetings is to share experiences of using assurance cases and provide information about new features in NOR-STA. Meetings are an important channel of communication between Argevide and the users and also a place to discuss further directions for NOR-STA development. During each meeting we have an open discussion or Q&A session. NOR-STA users have the opportunity to actively participate in meetings and influence the form of meetings in the future.
If you use NOR-STA and want to learn more how to use the tool efficiently and effectively we invite you to join NOR-STA User Group meetings.
You will find more information on the NOR-STA User Group page.