Automated Support for the Development of Formal Object-Oriented Requirements Specifications

Robert B. Jackson, David W. Embley, Scott N. Woodfield

Browse the full CaiSE paper archive.