- Bin Qin:
Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources. IEEE Trans. Software Eng. 19(10): 976-981 (1993) - Parameswaran Ramanathan, Kang G. Shin:
Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System. IEEE Trans. Software Eng. 19(6): 571-583 (1993) - P. Venkat Rangan:
Trust Requirements and Performance of a Fast Subtransprot-Level Protocol for Secure Communication. IEEE Trans. Software Eng. 19(2): 181-186 (1993) - Sampath Rangarajan, Pankaj Jalote, Satish K. Tripathi:
Capacity of Voting Systems. IEEE Trans. Software Eng. 19(7): 698-706 (1993) - Herman C. Rao, Larry L. Peterson:
Accessing Files in an Internet: The Jade File System. IEEE Trans. Software Eng. 19(6): 613-624 (1993) - Raimo Rask, Petteri Laamanen, Kalle Lyytinen:
Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment. IEEE Trans. Software Eng. 19(7): 661-671 (1993) - Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen:
Specifying and Verifying Requirements of Real-Time Systems. IEEE Trans. Software Eng. 19(1): 41-55 (1993) - Debra J. Richardson, Margaret C. Thompson:
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection. IEEE Trans. Software Eng. 19(6): 533-553 (1993) - Gernot Richter, Bruno Maffeo:
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. IEEE Trans. Software Eng. 19(2): 165-180 (1993) - Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Formal Derivation of Rule-Based Programs. IEEE Trans. Software Eng. 19(3): 277-296 (1993) - John M. Rushby, Friedrich W. von Henke:
Formal Verification of Algorithms for Critical Systems. IEEE Trans. Software Eng. 19(1): 13-23 (1993) - Norman F. Schneidewind:
Software Reliability Model with Optimal Selection of Failure Data. IEEE Trans. Software Eng. 19(11): 1095-1104 (1993) - Andrew Sears:
Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout. IEEE Trans. Software Eng. 19(7): 707-719 (1993) - Wei-Kuan Shih, Jane W.-S. Liu, C. L. Liu:
Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines. IEEE Trans. Software Eng. 19(12): 1171-1179 (1993) - John J. Shilling:
Incremental LL(1) Parsing in Language-Based Editors. IEEE Trans. Software Eng. 19(9): 935-940 (1993) - Connie U. Smith, Lloyd G. Williams:
Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives. IEEE Trans. Software Eng. 19(7): 720-741 (1993) - Jeffery A. Solheim, John H. Rowland:
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems. IEEE Trans. Software Eng. 19(10): 941-949 (1993) - Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen:
From CSP Models to Markov Models. IEEE Trans. Software Eng. 19(6): 554-570 (1993) - Mark G. Staskauskas:
Formal Derivation of Concurrent Programs: An Example from Industry. IEEE Trans. Software Eng. 19(5): 503-528 (1993) - Robert E. Strom, Daniel M. Yellin:
Extending Typestate Checking Using Conditional Liveness Analysis. IEEE Trans. Software Eng. 19(5): 478-485 (1993) - Lorrie A. Tomek, Jogesh K. Muppala
, Kishor S. Trivedi:
Modeling Correlation in Software Recovery Blocks. IEEE Trans. Software Eng. 19(11): 1071-1086 (1993) - Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos:
On Some Reliability Estimation Problems in Random and Partition Testing. IEEE Trans. Software Eng. 19(7): 687-697 (1993) - Jacob P. Ukelson, John D. Gould, Stephen J. Boies:
User Navigation in Computer Applications. IEEE Trans. Software Eng. 19(3): 297-306 (1993) - Elaine J. Weyuker:
More Experience with Data Flow Testing. IEEE Trans. Software Eng. 19(9): 912-919 (1993) - Scott A. Vander Wiel, Lawrence G. Votta:
Assessing Software Designs Using Capture-Recapture Methods. IEEE Trans. Software Eng. 19(11): 1045-1054 (1993) - Kun-Lung Wu, W. Kent Fuchs:
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management. IEEE Trans. Software Eng. 19(2): 155-164 (1993) - Jia Xu:
Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. IEEE Trans. Software Eng. 19(2): 139-154 (1993) - Jia Xu, David Lorge Parnas:
On Satisfying Timing Constraints in Hard-Real-Time Systems. IEEE Trans. Software Eng. 19(1): 70-84 (1993) - Jia Xu, David Lorge Parnas:
Correction to "On Satisfying Timing Constraints in Hard-Real-Time Systems''. IEEE Trans. Software Eng. 19(3): 310 (1993) - Minnie Yi-Miin Yen, Richard W. Scamell:
A Human Factors Experimental Comparison of SQL and QBE. IEEE Trans. Software Eng. 19(4): 390-409 (1993)