Abstract is missing.
- High-Pressure Steam Engines and Computer SoftwareNancy G. Leveson. 2-14 [doi]
- Trusted Computing Systems: The ProCoS ExperienceDines Bjørner. 15-34 [doi]
- Design of Dependable Real-Time SystemsAndrew M. Lister. 35-36 [doi]
- A Measure for Composite Module CohesionSukesh Patel, William C. Chu, Rich Baxter. 38-48 [doi]
- Productivity Analysis of Software Development with an Integrated CASE ToolMichio Tsuda, Yosuke Morioka, Masato Takadachi, Mayumi Takahashi. 49-58 [doi]
- Estimating Software Fault Content Cefore CodingStephen G. Eick, Clive R. Loader, M. David Long, Lawrence G. Votta, Scott A. Vander Wiel. 59-65 [doi]
- Incremental Testing of Object-Oriented Class StructuresMary Jean Harrold, John D. McGregor, Kevin J. Fitzpatrick. 68-80 [doi]
- Testing for Linear Errors in Nonlinear Computer ProgramsFaten H. Afifi, Lee J. White, Steven J. Zeil. 81-91 [doi]
- Towards a Method of Programming With AssertionsDavid S. Rosenblum. 92-104 [doi]
- Specification-Based Test Oracles for Reactive SystemsDebra J. Richardson, Stephanie Leif Aha, T. Owen O Malley. 105-118 [doi]
- Visualizing and Querying Software StructuresMariano P. Consens, Alberto O. Mendelzon, Arthur G. Ryman. 138-156 [doi]
- Software Evolution through Iterative PrototypingNeil M. Goldman, Khaled Narayanaswamy. 158-172 [doi]
- Object-Oriented Analysis for Evolving SystemsMitchell D. Lubars, Greg Meredith, Colin Potts, Charles Richter. 173-185 [doi]
- Formal Specification of Ssynchronous Distributed Real-Time Systems by APTLFarn Wang, Aloysius K. Mok, E. Allen Emerson. 188-198 [doi]
- Validating Real-Time Systems by History-Checking TRIO Specifications199-211 [doi]
- Graphical Specifications for Concurrent Software SystemsLaura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna. 214-224 [doi]
- Seeking Concurrency in Rule-Based ProgrammingGruia-Catalin Roman, Rose F. Gamble, William E. Ball. 225-234 [doi]
- The Property Vector Specification of a Multiset IteratorTrevor W. Pearce, David Alex Lamb. 235-245 [doi]
- A Toolbox for the Verification of LOTOS ProgramsJean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis. 246-259 [doi]
- Concepts and Implementation of a Rule-Based Process EngineBurkhard Peuschel, Wilhelm Schäfer. 262-279 [doi]
- Process Programming by HindsightPankaj K. Garg, Sanjay Bhansali. 280-293 [doi]
- Call Path ProfilingRobert J. Hall. 296-306 [doi]
- GENOA: A Customizable Language- and Front-End Independent Code AnalyzerPremkumar T. Devanbu. 307-317 [doi]
- Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical ResultsSadahiro Isoda. 320-326 [doi]
- A General Economics Model of Software ReuseJohn E. Gaffney Jr., R. D. Cruickshank. 327-337 [doi]
- Behavior Sampling: A Technique for Automated Retrieval of Reusable ComponentsAndy Podgurski, Lynn Pierce. 349-360 [doi]
- Programming-in-the-Large: Past, Present, and FutureWalter F. Tichy. 362-367 [doi]
- The Software Engineering Laboratory: An Operational Software Experience FactoryVictor R. Basili, Gianluigi Caldiera, Frank E. McGarry, Rose Pajerski, Gerald T. Page, Sharon Waligora. 370-381 [doi]
- Recent Advances in Software Estimation TechniquesRichard E. Fairley. 382-391 [doi]
- The Use of Program Dependence Graphs in Software EngineeringSusan Horwitz, Thomas W. Reps. 392-411 [doi]
- Program Visualization: The Art of Mapping Programs to PicturesGruia-Catalin Roman, Kenneth C. Cox. 412-420 [doi]