8. ICSE 1985: London, UK
Meir M. Lehman, Horst Hünke, Barry W. Boehm (Eds.): Proceedings, 8th International Conference on Software Engineering, London, UK, August 28-30, 1985. IEEE Computer Society 1985 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
Formal Methods
- 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
Environments: Extended Capabilities
- 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
- 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
Software Design and Development
- 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
Panel
- Laszlo A. Belady: New Software Engineering Program - Worldwide (Panel). 128-131
Ensuring Software Quality
Environment: Database Issues
- 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
Panel
Education and Technical Transfer
- N. H. Petschenik: Building Awareness of System Testing Issues. 182-188
- M. Schaul: Design Using Software Engineering Principles: Overview of an Educational Program. 201-209
Rapid Prototyping
- S. Lee: On Executable Models for Rule-Based Prototyping. 210-215
- 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
Path Testing and Analysis
- 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
Software Management Concerns
- 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
Panel
- Jack C. Wileden: The Software Process and Software Environments (Panel). 302-305
Testing and Debugging
- 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
Defect Measurement
- 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
Knowledge-Based Approaches
- Tohru 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
Metric Studies from the SEL
- 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
Panel
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team