541 | -- | 561 | Leland L. Beck, Thomas E. Perkins. A Survey of Software Engineering Practice: Tools, Methods, and Results |
562 | -- | 569 | Roger D. H. Warburton. Managing and Predicting the Costs of Real-Time Software |
569 | -- | 579 | Nancy G. Leveson, Peter R. Harvey. Analyzing Software Safety |
580 | -- | 589 | Constance L. Heitmeyer, John D. McLean. Abstract Requirements Specification: A New Approach and Its Application |
590 | -- | 602 | Robert A. Nelson, Lois M. Haibt, Peter B. Sheridan. Casting Petri Nets into Programs |
603 | -- | 616 | James E. Coolahan Jr., Nick Roussopoulos. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets |
617 | -- | 630 | Sushil Jajodia, Peter A. Ng, Frederick N. Springsteel. The Problem of Equivalence for Entity-Relationship Diagrams |
631 | -- | 634 | Iraj Kalantari, Gerard McDonald. A Data Structure and an Algorithm for the Nearest Point Problem |