Jin, L., Zhu, H.: Automatic Generation of Formal Specification from Requirements Definition. In: Proc. of IEEE 1 st Int. Conf. on Formal Engineering Methods, Hiroshima, Japan (1997) 243-251 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Developing Formal Specifications of MAS in SLABS - A Case Study of.. - Zhu Self-citation (Zhu) (Correct)
....the gap between informal and formal notations. We are further investigating how tools can be developed to automate the transformation from the diagrammatic notation to formal specification in SLABS in the way that structured requirements definitions are translated into formal specification in Z [23, 24]. ....
Jin, L., Zhu, H.: Automatic Generation of Formal Specification from Requirements Definition. In: Proc. of IEEE 1 st Int. Conf. on Formal Engineering Methods, Hiroshima, Japan (1997) 243-251
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC