Journals in DBLP

IEEE Trans. Software Eng.
1990, volume: 16, number: 11

1. C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash, Wei-Tek Tsai
   The Evolution Support Environment System. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1225-1234 [Journal]
   
2. Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini
   RSF: A Formalism for Executable Requirement Specifications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1235-1246 [Journal]
   
3. Brent Hailpern, Harold Ossher
   Extending Objects to Support Multiple Interfaces and Access Control. [Citation Graph (3, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1247-1257 [Journal]
   
4. Michael V. Mannino, Injun Choi, Don S. Batory
   The Object-Oriented Functional Data Language. [Citation Graph (5, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1258-1272 [Journal]
   
5. Ichiro Suzuki
   Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1273-1281 [Journal]
   
6. Yair Wand, Ron Weber
   An Ontological Model of an Information System. [Citation Graph (2, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1282-1292 [Journal]
   
7. Jeff Kramer, Jeff Magee
   The Evolving Philosophers Problem: Dynamic Change Management. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1293-1306 [Journal]
   
8. G. Becker, L. Camarinopoulos
   A Bayesian Estimation Method for the Failure Rate a Possibly Correct Program. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1307-1310 [Journal]
   
9. Valmir C. Barbosa
   Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1311-1316 [Journal]