ICSE 1985

56 papers

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