Journal: IEEE Trans. Software Eng.

Volume 9, Issue 5

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