Integrating object-oriented requirements specifications with formal notations.

Journal

Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995

Pages

34-41

Date Issued

1995

Author(s)

Lee, Jonathan

Pan, Jiann-I

Huang, Wei T.

DOI

URI

URL

Type

conference paper