- A. Jefferson Offutt, Stephen D. Lee:
Correction to "An Empirical Evaluation of Weak Mutation". IEEE Trans. Software Eng. 20(9): 748 (1994) - Hemant D. Pande, William Landi, Barbara G. Ryder:
Interprocedural Def-Use Associations for C Systems with Single Level Pointers. IEEE Trans. Software Eng. 20(5): 385-403 (1994) - Flavio De Paoli
, Francesco Tisato:
CSDL: A Language for Cooperative Systems Design. IEEE Trans. Software Eng. 20(8): 606-616 (1994) - David Lorge Parnas, Jan Madey, Michal Iglewski:
Precise Documentation of Well-Structured Programs. IEEE Trans. Software Eng. 20(12): 948-976 (1994) - Santanu Paul, Atul Prakash:
A Framework for Source Code Search Using Program Patterns. IEEE Trans. Software Eng. 20(6): 463-475 (1994) - Michael D. Rice, Stephen B. Seidman:
A Formal Model for Module Interconnection Languages. IEEE Trans. Software Eng. 20(1): 88-101 (1994) - Gruia-Catalin Roman, C. Donald Wilcox:
Architecture-Directed Refinement. IEEE Trans. Software Eng. 20(4): 239-258 (1994) - Nirmal R. Saxena, Edward J. McCluskey:
Linear Complexity Assertions for Sorting. IEEE Trans. Software Eng. 20(6): 424-431 (1994) - Ian Sommerville:
Introduction to the Special Issue. IEEE Trans. Software Eng. 20(8): 546-547 (1994) - Xiping Song, Leon J. Osterweil:
Experience with an Approach to Comparing Software Design Methodologies. IEEE Trans. Software Eng. 20(5): 364-384 (1994) - Scott D. Stoller:
Addendum to "Proof Rules for Flush Channels". IEEE Trans. Software Eng. 20(8): 664 (1994) - Maurizio Tucci, Giuliana Vitiello
, Gennaro Costagliola
:
Parsing Nonlinear Languages. IEEE Trans. Software Eng. 20(9): 720-739 (1994) - Steve Vestal:
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Trans. Software Eng. 20(4): 308-317 (1994) - Yabo Wang, David Lorge Parnas:
Simulating the Behavior of Software Modules by Trace Rewriting. IEEE Trans. Software Eng. 20(10): 750-759 (1994) - Samaradasa Weerahandi, Robert E. Hausman:
Software Quality Measurement Based on Fault-Detection Data. IEEE Trans. Software Eng. 20(9): 665-676 (1994) - Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb:
Design and Specification of Iterators Using the Swapping Paradigm. IEEE Trans. Software Eng. 20(8): 631-643 (1994) - Elaine J. Weyuker, Tarak Goradia, Ashutosh Singh:
Automatically Generating Test Data from a Boolean Specification. IEEE Trans. Software Eng. 20(5): 353-363 (1994) - James A. Whittaker, Michael G. Thomason:
A Markov Chain Model for Statistical Software Testing. IEEE Trans. Software Eng. 20(10): 812-824 (1994) - Claes Wohlin
, Per Runeson
:
Certification of Software Components. IEEE Trans. Software Eng. 20(6): 494-499 (1994) - Harvey Wohlwend, Susan Rosenbaum:
Schlumberger's Software Improvement Program. IEEE Trans. Software Eng. 20(11): 833-839 (1994)