Abstract is missing.
- Cleanroom Software Engineering for Zero-Defect SoftwareRichard C. Linger. 2-13 [doi]
- Simulating the Behaviour of Software Modules by Trace RewritingYabo Wang, David Lorge Parnas. 14-23 [doi]
- Observations on Industrial Practice Using Formal MethodsSusan L. Gerhart, Dan Craigen, Ted Ralston. 24-33 [doi]
- Rule-Based Approach to Computing Module CohesionArun Lakhotia. 35-44 [doi]
- Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program MutationFarokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini. 45-54 [doi]
- Modeling and Managing Risk Early in Software DevelopmentLionel C. Briand, William M. Thomas, Christopher J. Hetmanski. 55-65 [doi]
- An Analysis of SEI Software Process Assessment Results: 1987-1991David H. Kitson, Stephen M. Masters. 68-77 [doi]
- A Comprehensive Process Model for Studying Software Process PapersRudolf K. Keller, Richard Lajoie, Nazim H. Madhavji, Tilmann F. W. Bruckhaus, Kamel Toubache, Won-Kook Hong, Khaled El Emam. 78-88 [doi]
- Post-Process Feedback With and Without Attribute Focusing: A Comparative EvaluationInderpal S. Bhandari, Norman Roth. 89-98 [doi]
- An Experimental Evaluation of Selective MutationA. Jefferson Offutt, Gregg Rothermel, Christian Zapf. 100-107 [doi]
- Dynamic Mutation Testing in Integrated Regression AnalysisJanusz W. Laski, Wojciech Szermer, Piotr Luczycki. 108-117 [doi]
- A Bi-Level Language for Software Process ModelingGail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul. 132-143 [doi]
- Computational Reflection in Software Process Modeling: The SLANG ApproachSergio Bandinelli, Alfonso Fuggetta. 144-154 [doi]
- Prototyping a Process Monitoring ExperimentMark G. Bradac, Dewayne E. Perry, Lawrence G. Votta. 155-165 [doi]
- Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process BacktrackingTetsuo Tamai, Akito Itou. 167-176 [doi]
- Approach and Case Study of Requirement Analysis Where End Users Take an Active RoleJosé M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan. 177-186 [doi]
- Expressing the Relationships Between Multiple Views in Requirements SpecificationBashar Nuseibeh, Jeff Kramer, Anthony Finkelstein. 187-196 [doi]
- Domain Modeling - Overview & Ongoing Research at EDSNeil Iscoe. 198-200 [doi]
- Model Based Process AssessmentsClement L. McGowan, Shawn A. Bohner. 202-211 [doi]
- Software Improvements in an International CompanyHarvey Wohlwend, Susan Rosenbaum. 212-220 [doi]
- Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and PracticeHorst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven. 221-229 [doi]
- A Process for Consolidating and Reusing Design KnowledgeGuillermo Arango, Eric Schoen, Robert Pettengill. 231-242 [doi]
- The Graft-Host Method for Design ChangeGuillermo Arango, Eric Schoen, Robert Pettengill, Josiah C. Hoskins. 243-254 [doi]
- Developing Initial OOA ModelsMitchell D. Lubars, Colin Potts, Charles Richter. 255-264 [doi]
- Predicate-Based Test Generation for Computer ProgramsKuo-Chung Tai. 267-276 [doi]
- Modeling Software for Accurate Data Flow RepresentationHasan Ural, Bo Yang. 277-286 [doi]
- Coverage Measurement Experience During Function TestPaul Piwowarski, Mitsuru Ohba, Joseph M. Caruso. 287-301 [doi]
- ...And Nothing Else Changes : The Frame Problem in Procedure SpecificationsAlexander Borgida, John Mylopoulos, Raymond Reiter. 303-314 [doi]
- Documentation for Safety Critical SoftwarePierre-Jacques Courtois, David Lorge Parnas. 315-323 [doi]
- A High Level Language for Specifying Graph Based Languages and Their Programming EnvironmentsMichael F. Kleyn, James C. Browne. 324-335 [doi]
- An Examination of the Current State of IPSE TechnologyAlan W. Brown. 338-347 [doi]
- Use of an Environment Classification ModelMarvin V. Zelkowitz. 348-357 [doi]
- Programming Heterogeneous Transactions for Software Development EnvironmentsPeri L. Tarr, Stanley M. Sutton Jr.. 358-369 [doi]
- Generalized Behavior-Based RetrievalRobert J. Hall. 371-380 [doi]
- Automating the Detection of Reusable Parts in Existing SoftwareMichael F. Dunn, John C. Knight. 381-390 [doi]
- Building, Modifying and Using Component GeneratorsStephen B. Ornburn, Richard J. LeBlanc. 391-402 [doi]
- Test Templates: A Specification-Based Testing FrameworkPhil Stocks, David A. Carrington. 405-414 [doi]
- An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing TechniquesPhyllis G. Frankl, Elaine J. Weyuker. 415-424 [doi]
- Reliable Software and Communication: Software Quality, Reliability, and SafetySiddhartha R. Dalal, Joseph R. Horgan, J. R. Kettenring. 425-435 [doi]
- Software Components in a Data Structure PrecompilerMarty Sirkin, Don S. Batory, Vivek Singhal. 437-446 [doi]
- Adding Implicit Invocation to Rraditional Programming LanguagesDavid Garlan, Curtis Scott. 447-455 [doi]
- Applying Algorithm Animation Techniques for Program Tracing, Debugging, and UnderstandingSougata Mukherjea, John T. Stasko. 456-465 [doi]
- Software Process Maturity: Measuring Its Impact on Productivity and QualityHoward A. Rubin. 468-476 [doi]
- Inter-item Correlations among Function PointsBarbara A. Kitchenham, Kari Känsälä. 477-480 [doi]
- The Concept Assignment Problem in Program UnderstandingTed J. Biggerstaff, Bharat G. Mitbander, Dallas E. Webster. 482-498 [doi]
- RECAST: Reverse Engineering from COBOL to SSADM SpecificationHelen M. Edwards, Malcolm Munro. 499-508 [doi]
- Program and Interface Slicing for Reverse EngineeringJon Beck, David Eichmann. 509-518 [doi]