Integrating object-oriented requirements specifications with formal notations.

Jonathan Lee, Jiann-I Pan, Wei T. Huang

Browse the full ICTAI paper archive.