P. du Bois, E. Dubois, and J-M. Zeippen. On the use of a formal requirements engineering language: The generalized railroad crossing problem. In Third IEEE International Symposium on Requirements Engineering. IEEE ICS Press, January 1997. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Integrating Semi-Formal and Formal Software Specification.. - Wieringa, Dubois (1998) (3 citations) Self-citation (Dubois) (Correct)
From Early to Late Formal Requirements: a Process-Control.. - Dubois, Yu, Petit (1998) (4 citations) Self-citation (Dubois) (Correct)
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