| 403 | -- | 411 | Cameron Schmidt, Philip W. Dart, Lorraine Johnston, Leon Sterling, Peter Thorne. Disincentives for communicating risk: a risk paradox |
| 413 | -- | 420 | Paolino Di Felice, Goffredo Fonzi. An improved method for the indexing of software |
| 421 | -- | 434 | Luis Fernández, José Javier Dolado. Measurement and prediction of the verification cost of the design in a formalized methodology |
| 435 | -- | 450 | Zhiqiang Chen, Antonio Cau, Hussein Zedan, Hongji Yang. Integrating structured OO approaches with formal techniques for the development of real-time systems |
| 451 | -- | 467 | Jiacun Wang, Xudong He, Yi Deng. Introducing software architecture specification and analysis in SAM through an example |