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

Robert B. Jackson, David W. Embley, Scott N. Woodfield. Automated Support for the Development of Formal Object-Oriented Requirements Specifications. In Gerard Wijers, Sjaak Brinkkemper, Anthony I. Wasserman, editors, Advanced Information Systems Engineering, CAiSE 94, Utrecht, The Netherlands, June 6-10, 1994, Proceedings. Volume 811 of Lecture Notes in Computer Science, pages 135-148, Springer, 1994.

Authors

Robert B. Jackson

This author has not been identified. Look up 'Robert B. Jackson' in Google

David W. Embley

This author has not been identified. Look up 'David W. Embley' in Google

Scott N. Woodfield

This author has not been identified. Look up 'Scott N. Woodfield' in Google