Developing Formal Object-Oriented Requirements Specifications: A Model, Tool and Technique

Robert B. Jackson, David W. Embley, Scott N. Woodfield. Developing Formal Object-Oriented Requirements Specifications: A Model, Tool and Technique. Inf. Syst., 20(4):273-289, 1995. [doi]

Abstract

Abstract is missing.