On the use of a formal requirements engineering language: The Generalized Railroad Crossing Problem Philippe Du BoisEric DuboisJean-Marc Zeippen OriginalPaper Pages: 171 - 183
Enhancing a requirements baseline with scenarios Julio Cesar Sampaio do Prado LeiteGustavo RossiAlejandro Oliveros OriginalPaper Pages: 184 - 198
Constructing and revising formal arguments in requirements engineering S. R. Smith OriginalPaper Pages: 199 - 216
Linguistic instruments in requirements engineering J. F. Burg W. J. Black Book Review Pages: 220 - 220