Journals in DBLP
Margaret H. Eich Graph Directed Locking. [Citation Graph (2, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:133-140 [Journal ] Thomas L. Casavant , Jon G. Kuhl A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems. [Citation Graph (1, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:141-154 [Journal ] Jack Kent , Hector Garcia-Molina Optimizing Shadow Recovery Algorithms. [Citation Graph (1, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:155-168 [Journal ] Mike Adler An Algebra for Data Flow Diagram Process Decomposition. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:169-183 [Journal ] Tony T. Lee , Ming-Yee Lai A Relational Algebraic Approach to Protocol Verification. [Citation Graph (2, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:184-193 [Journal ] Jahangir Karimi , Benn R. Konsynski An Automated Software Design Assistant. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:194-210 [Journal ] Vasant Dhar , Matthias Jarke Dependency Directed Reasoning and Learning in Systems Maintenance Support. [Citation Graph (2, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:211-227 [Journal ] Arturo I. Concepcion , Bernard P. Zeigler DEVS Formalism: A Framework for Hierarchical Model Development. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:228-241 [Journal ] Joobin Choobineh , Michael V. Mannino , Jay F. Nunamaker , Benn R. Konsynski An Expert Database Design System Based on Analysis of Forms. [Citation Graph (8, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:242-253 [Journal ] C. T. Baker Effects of Field Service on Software Reliability. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:254-258 [Journal ] R. C. B. Cooper , K. G. Hamilton Preserving Abstraction in Concurrent Programming. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:258-263 [Journal ] David Gray The Formal Specification of a Small Bookshop Information System. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:263-272 [Journal ] Vincenzo Ambriola , David Notkin Reasoning About Interactive Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:272-276 [Journal ]