Login / Signup
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.
Fahad Rafique Golra
Fabien Dagnat
Jeanine Souquières
Imen Sayar
Sylvain Guérin
Published in:
SEFM (2018)
Keyphrases
</>
computational model
probabilistic model
probability distribution
process model
mathematical model
formal specification
artificial intelligence
case study
high level
multi agent
software engineering
specification language
object oriented systems