8. ICSE 1985: London, UK

Proceedings, 8th International Conference on Software Engineering, August 28-30, 1985, London, UK. IEEE Computer Society, ISBN 0-8186-0620-7

Environments: Life Cycle Support

D. Rosenberg: PRISM - Productivity Improvement for Software Engineers and Managers. 2-7
Ellis Horowitz, Ronald Williamson: SODOS - A Software Documentation Support Environment: Its Use. 8-14
Nazim H. Madhavji: Operations for Programming in the All. 15-25
E. A. M. Vefsnmo: ``DASOM'' - A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality. 26-35

Daniel M. Yellin, Eva-Maria M. Mueckstein: Two-Way Translators Based on Attribute Grammar Inversion. 36-42
David W. Stemple, Tim Sheard: Database Theory for Supporting Specification-Based Database Systems Development. 43-49
Q. Chen: Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology. 50-54
Dennis M. Volpano, Richard B. Kieburtz: Software Templates. 55-61

Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis: Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems. 62-67
Peter B. Henderson, Mark Weiser: Continous Execution: The VisiProg Environment. 68-74
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden: Interface Control and Incremental Development in the PIC Environment. 75-82
Jochen Ludewig, Martin Glinz, Hansjörg Huser, G. Matheis, Hans Matheis, M. F. Schmidt: SPADES - A Specification and Design System and Its Graphical Interface. 83-91

Naftaly H. Minsky, Abe Lockman: Ensuring Integrity by Adding Obligations to Privileges. 92-102
P. Barth, Scott B. Guthery, David R. Barstow: The Stream Machine: A Data Flow Architecture for Real-Time Applications. 103-110
Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus: A Collection of Software Tools for Analyzing Design of Concurrent Software Systems. 111-118
Colin Potts, A. Bartlett, B. H. Cherrie, Roy MacLean: Discrete Event Simulation as a Means of Validating JSD Design Specifications. 119-127

David Lorge Parnas, David M. Weiss: Active Design Reviews: Principles and Practices. 132-136
S. G. Crawford, M. H. Fallah: Software Development Process Audits - A General Procedure. 137-141
T. Sunazuka, Motoei Azuma, Noriko Yamagishi: Software Quality Assessment Technology. 142-149

Maria Heloisa (Lolo) Penedo, E. Don Stuckle: PMDB - A Project Master Database for Software Engineering Environments. 150-157
Bertrand Meyer: The Software Knowledge Base. 158-165
Ronald Morrison, Alan Dearle, Peter J. Bailey, Alfred L. Brown, Malcolm P. Atkinson: The Persistent Store as an Enabling Technology for Integrated Project Support. 166-173

Barbara Kitchenham, Howard A. Rubin: A Comparison of Cost Estimation Tools (Panel). 174-181

N. H. Petschenik: Building Awareness of System Testing Issues. 182-188
Samuel T. Redwine Jr., William E. Riddle: Software Technology Maturation. 189-200
M. Schaul: Design Using Software Engineering Principles: Overview of an Educational Program. 201-209

S. Lee: On Executable Models for Rule-Based Prototyping. 210-215
James W. Hooper, John T. Ellis, T. A. Johnson: Distributed Software Prototyping with ADS. 216-223
R. D. Tavendale: A Technique for Prototyping Directly from a Specification. 224-229
Giorgio Bruno, Giuseppe Marchetto: Rapid Prototyping of Control Systems Using High Level Petri Nets. 230-237

Lee J. White, P. N. Sahay: Experiments Determining Best Paths for Testing Computer Program Predicates. 238-243
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil: A Comparison of Data Flow Path Selection Criteria. 244-251
Herbert Pesch, Peter Schnupp, Hans Schaller, A. P. Spirk: Test Case Generation Using Prolog. 252-258
David Hedley, Michael A. Hennell: The Causes and Effects of Infeasible Paths in Computer Programs. 259-267

Tom DeMarco, Tim Lister: Programmer Performance and the Effects of the Workplace. 268-272
John H. Manley: Software Engineering Provisioning Process. 273-284
F. Hattori, K. Kushima, T. Wasano: A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas. 285-291
Y. Miyazaki, K. Mori: COCOMO Evaluation and Tailoring. 292-301

Jack C. Wileden: The Software Process and Software Environments (Panel). 302-305

J. Ramsey, Victor R. Basili: Analyzing the Test Process Using Structural Coverage. 306-312
Moheb R. Girgis, Martin R. Woodward: An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis. 313-319
Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: An Interactive Debugger for a Concurrent Language. 320-329

Muneo Takahashi, Yuji Kamayachi: An Empirical Study of a Model for Program Error Prediction. 330-336
John C. Knight, Paul Ammann: An Experimental Evaluation of Simple Methods for Seeding Program Errors. 337-342
D. R. Miller, A. Sofer: Completely Monotone Regression Estimates of Software Failure Rates. 343-349

T. Shimizu, Ken Sakamura: Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems. 350-357
K. Fukunaga: PROMPTER: A Knowledge Based Support Tool for Code Understanding. 358-363
M. Stephens, K. Whitehead: The Analyst - A Workstation for Analysis and Design. 364-371

David N. Card, Gerald T. Page, Frank E. McGarry: Criteria for Software Modularization. 372-377
Dennis G. Kafura, J. Canning: A Validation of Software Metrics Using Many Metrics and Two Resources. 378-385
Victor R. Basili, Richard W. Selby: Calculation and Use of an Environment's Characteristic Software Metric Set. 386-393

Robert Balzer: Panel Description: The Role of Logic and AI in the Software Enterprise. 394
Alan J. Perlis: Another View of Software (Panel). 395-396
Gerald J. Sussman: Intelligent Support for the Engineering of Software (Panel). 397-399
Wladyslaw M. Turski: The Role of Logic in Software Enterprise (Panel). 400