Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns

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]

Authors

Imen Sayar

This author has not been identified. Look up 'Imen Sayar' in Google

Jeanine Souquières

This author has not been identified. Look up 'Jeanine Souquières' in Google