share record
persistent URL:
Phyllis G. Frankl , Elaine J. Weyuker : Provable Improvements on Branch Testing. IEEE Trans. Software Eng. 19 (10 ) : 962-975 (1993 )export record
dblp key:
journals/tse/GansnerKNV93 share record
persistent URL:
Emden R. Gansner , Eleftherios Koutsofios , Stephen C. North , Kiem-Phong Vo : A Technique for Drawing Directed Graphs. IEEE Trans. Software Eng. 19 (3 ) : 214-230 (1993 )share record
persistent URL:
Moheb R. Girgis : Corrigendum for "Constraint-Based Automatic Test Data Generation". (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.). IEEE Trans. Software Eng. 19 (6 ) : 640 (1993 )export record
dblp key:
journals/tse/Govindarajan93 share record
persistent URL:
R. Govindarajan : Exception Handlers in Functional Programming Languages. IEEE Trans. Software Eng. 19 (8 ) : 826-834 (1993 )share record
persistent URL:
Goetz Graefe , Diane L. Davison : Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution. IEEE Trans. Software Eng. 19 (8 ) : 749-764 (1993 )share record
persistent URL:
Fabio Grandi , Maria Rita Scalas : Block Access Estimation for Clustered Data Using a Finite LRU Buffer. IEEE Trans. Software Eng. 19 (7 ) : 641-660 (1993 )export record
dblp key:
journals/tse/HamidzadehS93 share record
persistent URL:
Babak Hamidzadeh , Shashi Shekhar : Specification and Analysis of Real-time Problem Solvers. IEEE Trans. Software Eng. 19 (8 ) : 788-803 (1993 )share record
persistent URL:
Mary Jean Harrold , Brian A. Malloy : A Unified Interprocedural Program Representation for a Maintenance Environment. IEEE Trans. Software Eng. 19 (6 ) : 584-593 (1993 )export record
dblp key:
journals/tse/Hellerstein93 share record
persistent URL:
Joseph L. Hellerstein : Achieving Service Rate Objectives with Decay Usage Scheduling. IEEE Trans. Software Eng. 19 (8 ) : 813-825 (1993 )share record
persistent URL:
Paul Helman , Gunar E. Liepins : Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse. IEEE Trans. Software Eng. 19 (9 ) : 886-901 (1993 )share record
persistent URL:
Yennun Huang , Satish K. Tripathi : Resource Allocation for Primary-Site Fault-Tolerant Systems. IEEE Trans. Software Eng. 19 (2 ) : 108-119 (1993 )share record
persistent URL:
Giuseppe Iazeolla , Francesco Marinuzzi : LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. IEEE Trans. Software Eng. 19 (5 ) : 486-502 (1993 )share record
persistent URL:
Maria Letizia Jaccheri , Reidar Conradi : Techniques for Process Model Evolution in EPOS. IEEE Trans. Software Eng. 19 (12 ) : 1145-1156 (1993 )share record
persistent URL:
D. Ross Jeffery , Graham C. Low , Michael Barnes : A Comparison of Function Point Counting Techniques. IEEE Trans. Software Eng. 19 (5 ) : 529-532 (1993 )share record
persistent URL:
Wei-lun Kao , Ravishankar K. Iyer , Dong Tang : FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults. IEEE Trans. Software Eng. 19 (11 ) : 1105-1118 (1993 )share record
persistent URL:
Daniel I. Katcher , Hiroshi Arakawa , Jay K. Strosnider : Engineering and Analysis of Fixed Priority Schedulers. IEEE Trans. Software Eng. 19 (9 ) : 920-934 (1993 )share record
persistent URL:
Andrew Kay , Joy N. Reed : A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. IEEE Trans. Software Eng. 19 (6 ) : 625-639 (1993 )share record
persistent URL:
Bernd J. Krämer , Luqi , Valdis Berzins : Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19 (5 ) : 543-477 (1993 )export record
dblp key:
journals/tse/Kurki-Suonio93 share record
persistent URL:
Reino Kurki-Suonio : Stepwise Design of Real-Time Systems. IEEE Trans. Software Eng. 19 (1 ) : 56-69 (1993 )share record
persistent URL:
Nancy G. Leveson , Peter G. Neumann : Introduction to Special Issue on Software for Critical Systems. IEEE Trans. Software Eng. 19 (1 ) : 1-2 (1993 )export record
dblp key:
journals/tse/LieberherrX93 share record
persistent URL:
Karl J. Lieberherr , Cun Xiao : Object-Oriented Software Evolution. IEEE Trans. Software Eng. 19 (4 ) : 313-343 (1993 )share record
persistent URL:
Yashwant K. Malaiya , Anneliese von Mayrhauser , Pradip K. Srimani : An Examination of Fault Exposure Ratio. IEEE Trans. Software Eng. 19 (11 ) : 1087-1094 (1993 )share record
persistent URL:
Josephine Micallef , Gail E. Kaiser : Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements. IEEE Trans. Software Eng. 19 (3 ) : 231-252 (1993 )share record
persistent URL:
Takeshige Miyoshi , Motoei Azuma : An Empirical Study of Evaluating Software Development Environment Quality. IEEE Trans. Software Eng. 19 (5 ) : 425-435 (1993 )share record
persistent URL:
Takeshi Nakajo , Isao Azuma , Masato Tada : A Case History Development of a Foolproofing Interface Documentation System. IEEE Trans. Software Eng. 19 (8 ) : 765-773 (1993 )share record
persistent URL:
Linda A. Ness : L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. IEEE Trans. Software Eng. 19 (4 ) : 410-423 (1993 )share record
persistent URL:
David Lorge Parnas : Predicate Logic for Software Engineering. IEEE Trans. Software Eng. 19 (9 ) : 856-862 (1993 )share record
persistent URL:
Allen S. Parrish , Stuart H. Zweben : Clarifying Some Fundamental Concepts in Software Testing. IEEE Trans. Software Eng. 19 (7 ) : 742-746 (1993 )share record
persistent URL:
Dar-Tzen Peng , Kang G. Shin : Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method. IEEE Trans. Software Eng. 19 (3 ) : 253-267 (1993 )share record
persistent URL:
John Plaice , William W. Wadge : A New Approach to Version Control. IEEE Trans. Software Eng. 19 (3 ) : 268-276 (1993 )