1. On the use of a formal requirements engineering language: The Generalized Railroad Crossing Problem

   • Philippe Du Bois
   • Eric Dubois
   • Jean-Marc Zeippen

   OriginalPaper Pages: 171 - 183

2. Enhancing a requirements baseline with scenarios

   • Julio Cesar Sampaio do Prado Leite
   • Gustavo Rossi
   • Alejandro Oliveros

   OriginalPaper Pages: 184 - 198

3. Constructing and revising formal arguments in requirements engineering

   • S. R. Smith

   OriginalPaper Pages: 199 - 216

4. Requirements engineering needs total systems engineering

   • David Corrall

   Viewpoints Pages: 217 - 219

5. Linguistic instruments in requirements engineering J. F. Burg

   • W. J. Black

   Book Review Pages: 220 - 220