From SysML/KAOS Domain Models to B System Specifications.

Steve Jeffrey Tueno Fotso Marc Frappier Amel Mammar Régine Laleau

Published in: CoRR (2018)

Keyphrases

domain models
domain knowledge
goal oriented
description language
knowledge structures
formal methods
process model
modeling language
semantic web technologies
knowledge base
formal specification
machine learning
natural language text
xml schema
petri net
prior knowledge
web services