Rationalization of Goal Models in GRL using Formal Argumentation

The usage of the msmin 1 mode may look a little bit artificial, so we remark that it is also possible to consider a special mixed mode derived in a straightfor- ward way from the

As we can see it is quite simple to establish the correspondence between system physical architecture PhysicalPart and the block Physical of the safety model: each Capella block has

5 exhibits the amount of the porosity along the minimal cross section for the 3 investigated notch radii and emphasizes the influence of the stress triaxiality ratio on the

This paper proposes a semantic model for attack mutation based on dynamic description logics (DDL(X)), extensions of description logics (DLs) with a dynamic dimension, and

Furthermore, we characterised the class of acceptable argument sets under admissible, complete, preferred, and grounded semantics, by relating acceptability over the regular

Goal modeling and analysis with the Goal-oriented Requirement Language (GRL) is taught in software engineering and computer science at the University of Ottawa since

Mussbacher and Nuttall MoDRE The authors argue that while many Goal Mod- eling approaches such as i*, KAOS, and Tropos could be used to model sus- tainable development, this paper

Our approach attempts to find evidence of the relations to be evaluated in a reference corpus (associated to the same domain of the ontology) using formal concept analysis.. To