ICSE A*

57 papers

YearTitle / Authors
1985"DASOM" - A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality.
E. A. M. Vefsnmo
1985A Collection of Software Tools for Analyzing Design of Concurrent Software Systems.
Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus
1985A Comparison of Cost Estimation Tools (Panel).
Barbara A. Kitchenham, Howard A. Rubin
1985A Comparison of Data Flow Path Selection Criteria.
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
1985A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas.
F. Hattori, K. Kushima, Tetsuo Wasano
1985A Technique for Prototyping Directly from a Specification.
R. D. Tavendale
1985A Validation of Software Metrics Using Many Metrics and Two Resources.
Dennis G. Kafura, J. Canning
1985Active Design Reviews: Principles and Practices.
David Lorge Parnas, David M. Weiss
1985An Empirical Study of a Model for Program Error Prediction.
Muneo Takahashi, Yuji Kamayachi
1985An Experimental Evaluation of Simple Methods for Seeding Program Errors.
John C. Knight, Paul Ammann
1985An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis.
Moheb R. Girgis, Martin R. Woodward
1985An Interactive Debugger for a Concurrent Language.
Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
1985Analyzing the Test Process Using Structural Coverage.
J. Ramsey, Victor R. Basili
1985Another View of Software (Panel).
Alan J. Perlis
1985Automatic Tuning of Multi-Task Programs for Real-Time Embedded Systems.
Tohru Shimizu, Ken Sakamura
1985Building Awareness of System Testing Issues.
Nathan H. Petschenik
1985COCOMO Evaluation and Tailoring.
Yukio Miyazaki, Kuniaki Mori
1985Calculation and Use of an Environment's Characteristic Software Metric Set.
Victor R. Basili, Richard W. Selby
1985Completely Monotone Regression Estimates of Software Failure Rates.
D. R. Miller, A. Sofer
1985Continous Execution: The VisiProg Environment.
Peter B. Henderson, Mark D. Weiser
1985Criteria for Software Modularization.
David N. Card, Gerald T. Page, Frank E. McGarry
1985Database Theory for Supporting Specification-Based Database Systems Development.
David W. Stemple, Tim Sheard
1985Design Using Software Engineering Principles: Overview of an Educational Program.
M. Schaul
1985Discrete Event Simulation as a Means of Validating JSD Design Specifications.
Colin Potts, Andy Bartlett, Brian H. Cherrie, Roy MacLean
1985Distributed Software Prototyping with ADS.
James W. Hooper, John T. Ellis, T. A. Johnson
1985Ensuring Integrity by Adding Obligations to Privileges.
Naftaly H. Minsky, Abe Lockman
1985Experiments Determining Best Paths for Testing Computer Program Predicates.
Lee J. White, P. N. Sahay
1985Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems.
Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis
1985Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology.
Q. Chen
1985Intelligent Support for the Engineering of Software (Panel).
Gerald J. Sussman
1985Interface Control and Incremental Development in the PIC Environment.
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
1985New Software Engineering Program - Worldwide (Panel).
Laszlo A. Belady
1985On Executable Models for Rule-Based Prototyping.
Stanley Lee
1985Operations for Programming in the All.
Nazim H. Madhavji
1985PMDB - A Project Master Database for Software Engineering Environments.
Maria Heloisa (Lolo) Penedo, E. Don Stuckle
1985PRISM - Productivity Improvement for Software Engineers and Managers.
Doug Rosenberg
1985PROMPTER: A Knowledge Based Support Tool for Code Understanding.
Koichi Fukunaga
1985Panel Description: The Role of Logic and AI in the Software Enterprise.
Robert Balzer
1985Proceedings, 8th International Conference on Software Engineering, London, UK, August 28-30, 1985.
Meir M. Lehman, Horst Hünke, Barry W. Boehm
1985Programmer Performance and the Effects of the Workplace.
Tom DeMarco, Tim Lister
1985Rapid Prototyping of Control Systems Using High Level Petri Nets.
Giorgio Bruno, Giuseppe Marchetto
1985SODOS - A Software Documentation Support Environment: Its Use.
Ellis Horowitz, Ronald Williamson
1985SPADES - A Specification and Design System and Its Graphical Interface.
Jochen Ludewig, Martin Glinz, Hansjörg Huser, G. Matheis, Hans Matheis, M. F. Schmidt
1985Software Development Process Audits - A General Procedure.
S. G. Crawford, M. H. Fallah
1985Software Engineering Provisioning Process.
John H. Manley
1985Software Quality Assessment Technology.
T. Sunazuka, Motoei Azuma, Noriko Yamagishi
1985Software Technology Maturation.
Samuel T. Redwine Jr., William E. Riddle
1985Software Templates.
Dennis M. Volpano, Richard B. Kieburtz
1985Test Case Generation Using Prolog.
Herbert Pesch, Peter Schnupp, Hans Schaller, A. P. Spirk
1985The Analyst - A Workstation for Analysis and Design.
Mark Stephens, Ken Whitehead
1985The Causes and Effects of Infeasible Paths in Computer Programs.
David Hedley, Michael A. Hennell
1985The Persistent Store as an Enabling Technology for Integrated Project Support.
Ronald Morrison, Alan Dearle, Peter J. Bailey, Alfred L. Brown, Malcolm P. Atkinson
1985The Role of Logic in Software Enterprise (Panel).
Wladyslaw M. Turski
1985The Software Knowledge Base.
Bertrand Meyer
1985The Software Process and Software Environments (Panel).
Jack C. Wileden
1985The Stream Machine: A Data Flow Architecture for Real-Time Applications.
P. Barth, Scott B. Guthery, David R. Barstow
1985Two-Way Translators Based on Attribute Grammar Inversion.
Daniel M. Yellin, Eva-Maria M. Mueckstein