Journals in DBLP
Phyllis G. Frankl , Elaine J. Weyuker A Formal Analysis of the Fault-Detecting Ability of Testing Methods. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:202-213 [Journal ] Emden R. Gansner , Eleftherios Koutsofios , Stephen C. North , Kiem-Phong Vo A Technique for Drawing Directed Graphs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:214-230 [Journal ] Josephine Micallef , Gail E. Kaiser Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:231-252 [Journal ] Dar-Tzen Peng , Kang G. Shin Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:253-267 [Journal ] John Plaice , William W. Wadge A New Approach to Version Control. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:268-276 [Journal ] Gruia-Catalin Roman , Rose F. Gamble , William E. Ball Formal Derivation of Rule-Based Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:277-296 [Journal ] Jacob P. Ukelson , John D. Gould , Stephen J. Boies User Navigation in Computer Applications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:297-306 [Journal ] Norman Y. Foo Comments on ``Defining Software by Continuous Smooth Functions''. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:307-309 [Journal ] Jia Xu , David Lorge Parnas Correction to ``On Satisfying Timing Constraints in Hard-Real-Time Systems''. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:3, pp:310- [Journal ]