Integrating object-oriented requirements specifications with formal notations.

Lee, JonathanJonathanLeePan, Jiann-IJiann-IPanHuang, Wei T.Wei T.HuangJONATHAN LEE2020-05-042020-05-041995https://scholars.lib.ntu.edu.tw/handle/123456789/488809Integrating object-oriented requirements specifications with formal notations.conference paper10.1109/TAI.1995.479851https://doi.org/10.1109/TAI.1995.479851