Google
Google Scholar
MS Academic Search
CiteSeerX
Semantic Scholar8. ICSE 1985: London, UK
Meir M. Lehman, Horst Hünke, Barry W. Boehm:
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
- Ellis Horowitz, Ronald Williamson:
SODOS - A Software Documentation Support Environment: Its Use. 8-14 - 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
Ensuring Software Quality
Environment: Database Issues
- Maria Heloisa (Lolo) Penedo, E. Don Stuckle:
PMDB - A Project Master Database for Software Engineering Environments. 150-157 - 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
- M. Schaul:
Design Using Software Engineering Principles: Overview of an Educational Program. 201-209
Rapid Prototyping
- 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
- F. Hattori, K. Kushima, Tetsuo Wasano:
A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas. 285-291
Panel
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
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
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2016-10-27 23:00 CEST by the dblp team