default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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
- Doug 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 D. 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, Andy Bartlett, Brian 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 A. Kitchenham, Howard A. Rubin:
A Comparison of Cost Estimation Tools (Panel). 174-181
Education and Technical Transfer
- Nathan 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
- Stanley 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, Tetsuo Wasano:
A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas. 285-291 - Yukio Miyazaki, Kuniaki 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 - Koichi Fukunaga:
PROMPTER: A Knowledge Based Support Tool for Code Understanding. 358-363 - Mark Stephens, Ken 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-01 00:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
