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]
Abstract is missing.