Abstract is missing.
- Software Processes Are Software TooLeon J. Osterweil. 2-13
- Process Models, Process Programs, Programming SupportM. M. Lehman. 14-16
- On the Use of Formal Methods in Software DevelopmentDines Bjørner. 17-29
- Iteration in the Software Process: Review of the 3rd International Software Process WorkshopMark Dowson. 36-41
- An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable SystemE. F. Berliner, Pamela Zave. 42-50
- Parameterized Programming in OBJ2Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada. 51-60
- Software Interconnection ModelsDewayne E. Perry. 61-71
- Modeling Software Failures and Reliability Growth During System TestingWilla K. Ehrlich, T. J. Emerson. 72-82
- Software Metrics Using Deviation ValueY. Miyazaki, N. Murakami. 83-95
- On Building Software Process Models Under the LamppostBill Curtis, Herb Krasner, Vincent Y. Shen, Neil Iscoe. 96-105
- SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed SystemsBernd J. Krämer. 116-125
- Specifying Software/Hardware Interactions in Distributed SystemsGruia-Catalin Roman. 126-141
- Version Control in the Inscape EnvironmentDewayne E. Perry. 142-149
- Version Control in Families of Large ProgramsJürgen F. H. Winkler. 150-165
- Database System Support for Software EngineeringPhilip A. Bernstein. 166-179
- An Architecture for Intelligent Assistance in Software DevelopmentGail E. Kaiser, Peter H. Feiler. 180-188
- Human-Computer Communication Meets Software EngineeringChristian Rathke. 216-224
- A Conceptual Programming EnvironmentSteven P. Reiss. 225-237
- Knowledge-Based Software Design Using Design SchemasMitchell D. Lubars, Mehdi T. Harandi. 253-262
- Use of Software Engineering Tools in JapanT. Nomura. 263-269
- A System for Parallel ProgrammingKarsten Schwan, Rajiv Ramnath, Sridhar Vasudevan, David M. Ogle. 270-285
- Lessons of Current EnvironmentsLeon J. Osterweil. 286
- ISTAR and the Contractual ApproachMark Dowson. 287-288
- Tool Interfaces in Integrated Project Support EnvironmentsAnthony Hall. 289-290
- Ten Years Experiences of a Software/Hardware Producing EnvironmentY. Matsumoto. 291-291
- Evaluating Software Development EnvironmentsNelson H. Weiderman. 292-295
- Software Process Management: Lessons Learned from HistoryBarry W. Boehm. 296-298
- Prospects for Future Environments: Introduction to Panel SessionColin Tully. 340-343
- Improving the Software ProcessWilliam E. Riddle. 344
- Tailoring the Software Process to Project Goals and EnvironmentsVictor R. Basili, H. Dieter Rombach. 345-359
- A Knowledge Structure for Reusing Abstract Data TypesDavid W. Embley, Scott N. Woodfield. 360-368
- From Design to RedesignGerhard Fischer, Andreas C. Lemke, Christian Rathke. 369-376
- PARIS: A System for Reusing Partially Interpreted SchemasS. Katz, Charles Richter, K.-S. The. 377-386