Abstract is missing.
- Overstructured Management of Software EngineeringGerald M. Weinberg. 2-9
- The Dimensions of Healthy MaintenanceRobert S. Arnold, D. A. Parker. 10-27
- MAP: A Tool for Understanding SoftwareS. Warren. 28-39
- Design Considerations in Language Processing Tools for AdaWayne A. Babich, Larry Weissman, M. Wolfe. 40-47
- A Closer Look at Iteration: The Self Stabilizing Capability of LoopsAli Mili. 48-57
- Design, Implementation, and Evaluation of a Revision Control SystemWalter F. Tichy. 58-67
- Configuration Control for Evolutional Software ProductsO. Shigo, Y. Wada, Y. Terashima, K. Iwamoto, T. Nishimura. 68-83
- From Specifications to Machine Code: Program Construction through Formal ReasoningFriedrich L. Bauer. 84-93
- Experimental Results on the Paging Behavior of Numerical ProgramsWalid A. Abu-Sufah, R. Lee, Mohammad Malkawi, P. Yew. 110-119
- Verification System for Formal Requirements DescriptionKiyoshi Agusa, A. Ohnishi, Yutaka Ohno. 120-126
- Requirement Specification Description System in Japanese Language - JISDOSJun Murai, Nobuo Saito, Norihisa Doi, M. Morohashi, T. Fujisaki. 127-136
- Static and Dynamic Data Modeling for Information System DesignDavid A. Marca, Clement L. McGowan. 137-147
- The TRW Software Productivity SystemBarry W. Boehm, James F. Elwell, Arthur B. Pyster, E. Don Stuckle, Ronald D. Williams. 148-156
- The Design of an Integrated, Interactive and Incremental Programming EnvironmentHarald Wertz. 157-165
- Toolpack - An Experimental Software Development Environment Research ProjectLeon J. Osterweil. 166-177
- An Insider s Survey on Software DevelopmentJean Cochrane Zolnowski, P. D. Ting. 178-187
- An Examination of Evolution DynamicsM. J. Lawrence. 188-196
- Functional Specification of Synchronized Processes Based on Modal LogicNaoki Yonezaki, Takao Katayama. 208-217
- Specification of Abstract Data Types with Partially Defined OperationsToshiki Sakabe, Yasuyoshi Inagaki, Namio Honda. 218-224
- Capturing More World Knowledge in the Requirements SpecificationSol J. Greenspan, John Mylopoulos, Alexander Borgida. 225-235
- Consistency Checking within Embedded Design LanguagesAndres Rudmik, B. E. Casey, H. Cohen. 236-245
- Experience with a Module Package in Developing Production Quality PASCAL ProgramsS. Warren, Bruce E. Martin, Charles Hoch. 246-253
- A Form-Based Approach to Human Engineering MethodologiesHuang Cheng Cheng Kuo, C. H. Li, J. Ramanathan. 254-271
- Data Flow Analysis Techniques for Test Data SelectionSandra Rapps, Elaine J. Weyuker. 272-278
- Software Quality = Test Accuracy * Test CoverageH. Ohba. 287-295
- Data-Driven Implementation of Data Flow DiagramsRobert G. Babb II. 309-318
- An Editor for Documentation in pi-System to Support Software Development and MaintenanceYukikazu Nakamoto, T. Iwamoto, M. Hori, Kenichi Hagihara, Nobuki Tokura. 330-339
- XS-1: An Integrated Interactive System and Its KernelG. Beretta, Helmar Burkhart, Peter Fink, Jürg Nievergelt, Jan Stelovsky, Hirotsugo Sugaya. 340-349
- DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise RefinementsLuigi Petrone, Antonio Di Leva, Franco Sirovich. 350-359
- An Automatic Programming System to Support an Experimental ScienceDavid R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal. 360-366
- Representation of Factual Information by Equations and Their EvaluationP. Lucas, Tore Risch. 367-376
- A Retrospective on the Development of StarEric Harslem, LeRoy E. Nelson. 377-385
- Global Data Flow Analysis by Decomposition into PrimesIra R. Forman. 386-392
- A Hierarchical Structuring Method for Functional Software SystemsKokichi Futatsugi, Koji Okada. 393-402
- A New Design Language for Communication Protocols and a Systematic Design Method of Communication SystemsNorio Shiratori, J. Gohara, Shoichi Noguchi. 403-413
- Visual Aid for FORTRAN Program DebuggingK. Takahashi, T. Aso, M. Kobayashi. 414-415
- Software Development with Executable Functional SpecificationsJoseph E. Urban. 418-419
- The Portable Communication Protocol Program COMPAS for Data Terminal SystemsK. Miyazawa, M. Oda, S. Kato. 420-421
- Early Experiences with a Multi-Display Programming EnvironmentYoshihisa Mano, Kazuhito Ohmaki, Koji Torii. 422-423
- A Model for Description of Communication ProtocolK. Chiba, K. Konishi, Akira Kurematsu. 424-428