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 BibTeX
Ellis Horowitz, Ronald Williamson: SODOS - A Software Documentation Support Environment: Its Use. 8-14 BibTeX
Nazim H. Madhavji: Operations for Programming in the All. 15-25 BibTeX
E. A. M. Vefsnmo: ``DASOM'' - A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality. 26-35 BibTeX

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

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 BibTeX
Peter B. Henderson, Mark Weiser: Continous Execution: The VisiProg Environment. 68-74 BibTeX
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden: Interface Control and Incremental Development in the PIC Environment. 75-82 BibTeX
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 BibTeX

Naftaly H. Minsky, Abe Lockman: Ensuring Integrity by Adding Obligations to Privileges. 92-102 BibTeX
P. Barth, Scott B. Guthery, David R. Barstow: The Stream Machine: A Data Flow Architecture for Real-Time Applications. 103-110 BibTeX
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 BibTeX
Colin Potts, A. Bartlett, B. H. Cherrie, Roy MacLean: Discrete Event Simulation as a Means of Validating JSD Design Specifications. 119-127 BibTeX

Laszlo A. Belady: New Software Engineering Program - Worldwide (Panel). 128-131 BibTeX

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

Maria Heloisa (Lolo) Penedo, E. Don Stuckle: PMDB - A Project Master Database for Software Engineering Environments. 150-157 BibTeX
Bertrand Meyer: The Software Knowledge Base. 158-165 BibTeX
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 BibTeX

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

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

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

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

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

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

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

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

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

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

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