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
Dennis M. Volpano, Richard B. Kieburtz:
Software Templates. 55-61

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
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

Software Design and Development

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

Panel

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

Ensuring Software Quality

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

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

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

Education and Technical Transfer

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

Rapid Prototyping

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

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

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

Panel

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

Testing and Debugging

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

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
D. R. Miller, A. Sofer:
Completely Monotone Regression Estimates of Software Failure Rates. 343-349

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
M. Stephens, K. Whitehead:
The Analyst - A Workstation for Analysis and Design. 364-371

Metric Studies from the SEL

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

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

Last update Fri May 25 08:21:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page