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