Journal: IEEE Software

Volume 2, Issue 6

4 -- 21Mario Barbacci, A. Nico Habermann. The Engineering Institute: Bridging Practice and Potential
22 -- 37Zary Segall, Larry Rudolph. PIE: A Programming and Instrumentation Environment for Parallel Processing
38 -- 53Nick Cercone, J. Boates, M. Krause. An Interactive System for Finding Perfect Hash Functions
68 -- 73Ware Myers. MCC: Planning the Revolution in Software

Volume 2, Issue 5

6 -- 17William E. Howden. The Theory and Practice of Foundation Testing
18 -- 23Nathan H. Petschenik. Practical Priorities in System Testing
24 -- 36John V. Guttag, James J. Horning, Jeannette M. Wing. The Larch Family of Specification Languages
37 -- 47Gideon Frieder, Gabor T. Herman, Craig Meyer, Jayaram K. Udupa. Large Software Problems for Small Computers: An Example from Medical Imaging
48 -- 52M. C. Gemignani. Who Owns What Sofware Produces?
53 -- 62Ruth E. Davis. Logic Programming and Prolog: A Tutorial

Volume 2, Issue 4

4 -- 5Joanne L. Martin. Guest Editor's Introduction Operating Systems and Environments for Large-Scale Parallel Processors
7 -- 20Terrence W. Pratt. Pisces: An Environment for Parallel Scientific Computation
21 -- 29John R. Allen, Ken Kennedy. A Parallel Programming Environment
30 -- 37Perry A. Emrath. Xylem: An Operating System for the Cedar Multiprocessor
39 -- 49Robert Olson. Parallel Processing in a Message-Based operating System
50 -- 63Creve Maples. Analyzing Software Performance in a Multiprocessor Environment
65 -- 80Joanne L. Martin. Special Section International Parallel Processing Projects: A Software Perspective
82 -- 85Robert L. Glass. Special Feature: Software Theft

Volume 2, Issue 3

5 -- 6Stephen F. Lundstrom, Duncan H. Lawrie. Guest Editor's Introduction Experiences with Distributed Systems
9 -- 19Neil D. Gammage, Liam M. Casey. XMS: A Rendezvous-Based Distributed System Software Architecture
21 -- 29Marek Fridrich, William J. Older. Helix: The Architecture of the XMS Distributed File system
30 -- 39Eric J. Berglund, David R. Cheriton. Amaze: A Multiplayer Computer Game
40 -- 48Thomas J. LeBlanc, Robert P. Cook. High-Level Broadcast Communication for Local Area Networks
49 -- 61Ariel J. Frank, Larry D. Wittie, Arthur J. Bernstein. Multicast Communication on Network Computers
62 -- 69Mark C. Paulk. The ARC Network: A Case StudY
70 -- 81Robert J. Douglass. Special Feature A Qualitative Assessment of Parallelism in Expert Systems
83 -- 88Sanjai Narain. Special Feature Mycin: Implementing the Expert System in Loglisp

Volume 2, Issue 2

6 -- 7Joseph E. Urban, David A. Fisher. Guest Editors' Introduction Ada Environments and Tools
9 -- 22David C. Luckham, Friedrich W. von Henke. An Overview of Anna, a Specification Language for Ada
24 -- 33David S. Rosenblum. A Methodology for the Design of Ada Transformation Tools in a DIANA Environment
34 -- 46Theodore P. Baker, Gregory A. Riccardi. Ada Tasking: From semantics to Efficient Implementation
47 -- 57David Heimbold, David Luckham. Debugging Ada Tasking Programs
58 -- 71Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden. Ada-Based support for programming-in-the-Large
73 -- 79Robert V. Rubin, Eric J. Colin, Steven P. Reiss. Think Pad: A Graphical system for Program-ming bY Demonstration
80 -- 85Mark Weiser, John D. Gannon, Paul R. McMullin. Comparison of Structural Test Coverage Metrics

Volume 2, Issue 1

6 -- 26Bertrand Meyer. On Formalism in Specifications
28 -- 39Marc H. Brown, Robert Sedgewick. Techniques for Algorithm Animation
40 -- 54Ellis Horowitz, Alfons Kemper, Balaji Narasimhan. A Survey of Application Generators
55 -- 62John D. Musa. Software Engineering: The Future of a Profession
63 -- 72Alexander Borgida. Features of Languages for the Development of Information Systems at the Conceptual Level
74 -- 82Timothy E. Lindquist. Assessing the Usability of Human-Computer Interfaces