Daniel M. Berry. The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development. In 27th IEEE International Requirements Engineering Conference Workshops, RE 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019. pages 109, IEEE, 2019. [doi]
Abstract is missing.