research
∙
11/08/2018
The Generic SysML/KAOS Domain Metamodel
This paper is related to the generalised/generic version of the SysML/KA...
share
research
∙
05/12/2018
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Sy
This volume contains the joint proceedings of IMPEX 2017, the first work...
research
∙
03/06/2018
From SysML/KAOS Domain Models to B System Specifications
In this paper, we use a combination of the SysML/KAOS requirements engin...
research
∙
12/20/2017
Formal Representation of SysML/KAOS Domain Model (Complete Version)
Nowadays, the usefulness of a formal language for ensuring the consisten...
research
∙
10/02/2017
