Back Propagating B System Updates on SysML/KAOS Domain Models.

Steve Jeffrey Tueno Fotso Marc Frappier Regine Laleau Amel Mammar

Published in: ICECCS (2018)

Keyphrases

domain models
domain knowledge
description language
knowledge structures
process model
knowledge base
semantic web technologies
decision trees
domain specific
learning systems