The Generic SysML/KAOS Domain Metamodel

This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation rules between the new domain models and B System specifications.

READ FULL TEXT
research
12/11/2021

Selecting Parallel In-domain Sentences for Neural Machine Translation Using Monolingual Texts

Continuously-growing data volumes lead to larger generic models. Specifi...
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
07/13/2018

First steps towards a formalization of Forcing

We lay the ground for an Isabelle/ZF formalization of Cohen's technique ...
research
08/26/2023

A Graph-Theoretic Model for a Generic Three Jug Puzzle

In a classic three jug puzzle we have three jugs A, B, and C with some f...
research
01/14/2013

Fano schemes of generic intersections and machine learning

We investigate Fano schemes of conditionally generic intersections, i.e....
research
10/26/2020

Acquiring domain models

Whereas a Learning Apprentice System stresses the generation and refinem...
research
11/01/2021

Towards Reformulating Essence Specifications for Robustness

The Essence language allows a user to specify a constraint problem at a ...

Please sign up or login with your details

Forgot password? Click here to reset