Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.

Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquires, Imen Sayar, Sylvain Gurin

Browse the full SEFM paper archive.