Abstract is missing.
- PRISM - Productivity Improvement for Software Engineers and ManagersD. Rosenberg. 2-7
- SODOS - A Software Documentation Support Environment: Its UseEllis Horowitz, Ronald Williamson. 8-14
- Operations for Programming in the AllNazim H. Madhavji. 15-25
- Two-Way Translators Based on Attribute Grammar InversionDaniel M. Yellin, Eva-Maria M. Mueckstein. 36-42
- Database Theory for Supporting Specification-Based Database Systems DevelopmentDavid W. Stemple, Tim Sheard. 43-49
- Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development MethodologyQ. Chen. 50-54
- Software TemplatesDennis M. Volpano, Richard B. Kieburtz. 55-61
- Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded SystemsRaymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis. 62-67
- Continous Execution: The VisiProg EnvironmentPeter B. Henderson, Mark Weiser. 68-74
- Interface Control and Incremental Development in the PIC EnvironmentAlexander L. Wolf, Lori A. Clarke, Jack C. Wileden. 75-82
- SPADES - A Specification and Design System and Its Graphical InterfaceJochen Ludewig, Martin Glinz, Hansjörg Huser, G. Matheis, Hans Matheis, M. F. Schmidt. 83-91
- Ensuring Integrity by Adding Obligations to PrivilegesNaftaly H. Minsky, Abe Lockman. 92-102
- The Stream Machine: A Data Flow Architecture for Real-Time ApplicationsP. Barth, Scott B. Guthery, David R. Barstow. 103-110
- A Collection of Software Tools for Analyzing Design of Concurrent Software SystemsAllan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus. 111-118
- Discrete Event Simulation as a Means of Validating JSD Design SpecificationsColin Potts, A. Bartlett, B. H. Cherrie, Roy MacLean. 119-127
- New Software Engineering Program - Worldwide (Panel)Laszlo A. Belady. 128-131
- Active Design Reviews: Principles and PracticesDavid Lorge Parnas, David M. Weiss. 132-136
- Software Development Process Audits - A General ProcedureS. G. Crawford, M. H. Fallah. 137-141
- Software Quality Assessment TechnologyT. Sunazuka, Motoei Azuma, Noriko Yamagishi. 142-149
- PMDB - A Project Master Database for Software Engineering EnvironmentsMaria Heloisa (Lolo) Penedo, E. Don Stuckle. 150-157
- The Software Knowledge BaseBertrand Meyer. 158-165
- The Persistent Store as an Enabling Technology for Integrated Project SupportRonald Morrison, Alan Dearle, Peter J. Bailey, Alfred L. Brown, Malcolm P. Atkinson. 166-173
- A Comparison of Cost Estimation Tools (Panel)Barbara A. Kitchenham, Howard A. Rubin. 174-181
- Building Awareness of System Testing IssuesN. H. Petschenik. 182-188
- Software Technology MaturationSamuel T. Redwine Jr., William E. Riddle. 189-200
- On Executable Models for Rule-Based PrototypingS. Lee. 210-215
- Distributed Software Prototyping with ADSJames W. Hooper, John T. Ellis, T. A. Johnson. 216-223
- Rapid Prototyping of Control Systems Using High Level Petri NetsGiorgio Bruno, Giuseppe Marchetto. 230-237
- Experiments Determining Best Paths for Testing Computer Program PredicatesLee J. White, P. N. Sahay. 238-243
- A Comparison of Data Flow Path Selection CriteriaLori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil. 244-251
- Test Case Generation Using PrologHerbert Pesch, Peter Schnupp, Hans Schaller, A. P. Spirk. 252-258
- The Causes and Effects of Infeasible Paths in Computer ProgramsDavid Hedley, Michael A. Hennell. 259-267
- Programmer Performance and the Effects of the WorkplaceTom DeMarco, Tim Lister. 268-272
- Software Engineering Provisioning ProcessJohn H. Manley. 273-284
- A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI AreasF. Hattori, K. Kushima, T. Wasano. 285-291
- COCOMO Evaluation and TailoringY. Miyazaki, K. Mori. 292-301
- The Software Process and Software Environments (Panel)Jack C. Wileden. 302-305
- Analyzing the Test Process Using Structural CoverageJ. Ramsey, Victor R. Basili. 306-312
- An Integrated System for Program Testing Using Weak Mutation and Data Flow AnalysisMoheb R. Girgis, Martin R. Woodward. 313-319
- An Interactive Debugger for a Concurrent LanguageNicoletta De Francesco, Diego Latella, Gigliola Vaglini. 320-329
- An Empirical Study of a Model for Program Error PredictionMuneo Takahashi, Yuji Kamayachi. 330-336
- An Experimental Evaluation of Simple Methods for Seeding Program ErrorsJohn C. Knight, Paul Ammann. 337-342
- Automatic Tuning of Multi-Task Programs for Real-Time Embedded SystemsT. Shimizu, Ken Sakamura. 350-357
- Criteria for Software ModularizationDavid N. Card, Gerald T. Page, Frank E. McGarry. 372-377
- Calculation and Use of an Environment s Characteristic Software Metric SetVictor R. Basili, Richard W. Selby. 386-393
- Panel Description: The Role of Logic and AI in the Software EnterpriseRobert Balzer. 394
- Another View of Software (Panel)Alan J. Perlis. 395-396
- Intelligent Support for the Engineering of Software (Panel)Gerald Jay Sussman. 397-399
- The Role of Logic in Software Enterprise (Panel)Wladyslaw M. Turski. 400