Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
Lingzi Jin , Nanjing University
Hong Zhu , Nanjing University
Developing software on the bases of formal functional specifications in first order logic and algebraic languages has been the prime endeavor of research on formal methods. But, the industrial development community has been slow to adopt formal methods. Instead, researchers and software engineers in the area of software requirements engineering have advanced various notations for defining user's requirements and systematic methods of developing requirements definitions. There is a wide gap between the current practice of software requirements engineering and the research on formal specification and software formal development. This paper presents the system NDRASS, which support requirements engineering with the methods of current state of practice and to link such practice to formal methods by automatically generating formal functional specifications in Z.
L. Jin and H. Zhu, "Automatic Generation of Formal Specification from Requirements Definition," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 243.