Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Imen Sayar, Jeanine Souquières. Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. In 27th IEEE International Requirements Engineering Conference Workshops, RE 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019. pages 116-122, IEEE, 2019. [doi]

The following publications are possibly variants of this publication:

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model FederationFahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin. SEFM 2018: 54-69 [doi]

runs on WebDSL