ICSE A*

47 papers

YearTitle / Authors
1988A Method for Asynchronous Parallelization.
P. R. Itzigehl
1988A Programming Environment Supporting Reuse of Object-Oriented Software.
H. Tarumi, Kiyoshi Agusa, Yutaka Ohno
1988A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques.
Mireille Ducassé, Anna-Maria Emde
1988Algebraic Specification of Macintosh's Quickdraw Using OBJ2.
Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu
1988An Early Report on Encompass.
Robert B. Terwilliger, Roy H. Campbell
1988An Operational Requirement Description Model for Open Systems.
Matthias Hallman
1988Assessing the Quality of Abstract Data Types Written in Ada.
David W. Embley, Scott N. Woodfield
1988Automatic Programming for Streams II: Transformational Implementation.
David R. Barstow
1988Demeter: A Case Study of Software Growth through Parameterized Classes.
Karl J. Lieberherr, Arthur J. Riel
1988Deriving Specifications from Requirements.
W. Lewis Johnson
1988Design Principles behind Chiron: A UIMS for Software Environments.
Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly
1988Design and Test of Distributed Applications.
Johan Fagerström
1988Enhancing Program Readability and Comprehensibility with Tools for Program Visualization.
Ronald Baecker
1988Evolution of Tools (Abstract).
Kouichi Kishida
1988Extension and Software Development.
David Notkin, William G. Griswold
1988Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications.
Xin Huang, Hong Zhang, Xiyao Cai
1988High-Level Specification of Concurrency Control in Distributed Database Systems.
Lin Chiu, Ming T. Liu
1988Implications of Hardware Advances for Software Development.
Anthony I. Wasserman
1988Integrated Support for Project Management.
David Dixon
1988Interpretation in a Tool-Fragment Environment.
Steven J. Zeil, Edward C. Epp
1988KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control.
Helen C. Sharp
1988Language and Visualization Support for Large-Scale Concurrency.
Gruia-Catalin Roman
1988Modeling Mutation on a Vector Processor.
Aditya P. Mathur, Edward W. Krauser
1988Modeling Software Tools with Icon.
O. R. Fonorow
1988Modeling of Data-Processing Software for Generating and Reusing Their Programs.
N. Mano
1988Models of Software Development Environments.
Dewayne E. Perry, Gail E. Kaiser
1988On the Influence of Scale in a Distributed System.
Mahadev Satyanarayanan
1988PILOT: A Prescription for Program Performance Measurement.
James L. Benjamin
1988Plenary Session-Software for Space Station.
W. Murray, Clarence Pittman
1988Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988.
Tan Chin Nam, Larry E. Druffel, Bertrand Meyer
1988Programming at the Processor-Memory-Switch Level.
Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing
1988Recording the Reasons for Design Decisions.
Colin Potts, Glenn Bruns
1988Requirements Analysis for Real-Time Automation Projects.
Manfred Hagemann
1988Rigi - A System for Programming-in-the-Large.
Hausi A. Müller, K. Klashinsky
1988SDA: A Novel Approach to Software Environment Design and Construction.
Kouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams
1988STATEMATE; A Working Environment for the Development of Complex Reactive Systems.
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring
1988Safety Verification in Murphy Using Fault Tree Analysis.
Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall
1988Software Development Productivity Tools and Metrics.
A. S. Duncan
1988Software Engineering for Distributed Applications: The Design Project.
Max Mühlhäuser
1988Software Process Modeling: A Behavioral Approach.
Lloyd G. Williams
1988Software Reuse (Panel Abstract).
Lloyd G. Williams
1988Static Analysis-Based Program Evolution Support in the Common Lisp Framework.
K. Narayanaswamy
1988Theory-W Software Project Management: A Case Study.
Barry W. Boehm, Rony Ross
1988Tools for Real-Time System Design.
Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch
1988Using Raddle To Design Distributed Systems.
Michael Evangelist, Vincent Y. Shen, Ira R. Forman, Mike Graf
1988Validating the TAME Resource Data Model.
D. Ross Jeffery, Victor R. Basili
1988m-EVES: A Tool for Verifying Software.
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink