Developing formal object-oriented requirements specifications: a model, tool and technique

• Authors:

• Robert B. Jackson;David W. Embley;Scott N. Woodfield

• Affiliations:

• -;-;-

• Venue:
• Information Systems - Special issue: advanced information systems engineering
• Year:
• 1995