Robert Seater, Daniel Jackson 0001. Problem frame transformations: deriving specifications from requirements. In Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin, editors, Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, IWAAPF '06, Shanghai, China, May 23, 2006. pages 71-80, ACM, 2006. [doi]
Abstract is missing.