default search action
10th ICSE 1988: Singapore
- Tan Chin Nam, Larry E. Druffel, Bertrand Meyer:
Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988. IEEE Computer Society 1988, ISBN 0-8186-0849-8
Technical Keynote
- Kouichi Kishida:
Evolution of Tools (Abstract). ICSE 1988: 2
Parallel and Distributed Applications
- P. R. Itzigehl:
A Method for Asynchronous Parallelization. 4-9 - Mahadev Satyanarayanan:
On the Influence of Scale in a Distributed System. 10-18 - Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing:
Programming at the Processor-Memory-Switch Level. 19-29
Management
- Barry W. Boehm, Rony Ross:
Theory-W Software Project Management: A Case Study. 30-40 - A. S. Duncan:
Software Development Productivity Tools and Metrics. 41-48 - David Dixon:
Integrated Support for Project Management. 49-59
Environments
- Dewayne E. Perry, Gail E. Kaiser:
Models of Software Development Environments. 60-68 - Kouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams:
SDA: A Novel Approach to Software Environment Design and Construction. 69-79 - Hausi A. Müller, K. Klashinsky:
Rigi - A System for Programming-in-the-Large. 80-87
Distributed System Design
- Johan Fagerström:
Design and Test of Distributed Applications. 88-92 - Max Mühlhäuser:
Software Engineering for Distributed Applications: The Design Project. 93-101 - Michael Evangelist, Vincent Y. Shen, Ira R. Forman, Mike Graf:
Using Raddle To Design Distributed Systems. 102-115
Real Time
- Xin Huang, Hong Zhang, Xiyao Cai:
Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications. 116-121 - Manfred Hagemann:
Requirements Analysis for Real-Time Automation Projects. 122-129 - Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch:
Tools for Real-Time System Design. 130-140
Plenary Session
- W. Murray, Clarence Pittman:
Plenary Session-Software for Space Station. ICSE 1988: 141-143
Software Quality Techniques
- David W. Embley, Scott N. Woodfield:
Assessing the Quality of Abstract Data Types Written in Ada. 144-153 - Aditya P. Mathur, Edward W. Krauser:
Modeling Mutation on a Vector Processor. 154-161 - Mireille Ducassé, Anna-Maria Emde:
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. 162-173
Process Models
- Lloyd G. Williams:
Software Process Modeling: A Behavioral Approach. 174-186 - D. Ross Jeffery, Victor R. Basili:
Validating the TAME Resource Data Model. 187-201 - O. R. Fonorow:
Modeling Software Tools with Icon. 202-221
Environments Components
- K. Narayanaswamy:
Static Analysis-Based Program Evolution Support in the Common Lisp Framework. 222-230 - N. Mano:
Modeling of Data-Processing Software for Generating and Reusing Their Programs. 231-240 - Steven J. Zeil, Edward C. Epp:
Interpretation in a Tool-Fragment Environment. 241-249
Panel
- Anthony I. Wasserman:
Implications of Hardware Advances for Software Development. 250-253
Reuse
- Karl J. Lieberherr, Arthur J. Riel:
Demeter: A Case Study of Software Growth through Parameterized Classes. 254-264 - H. Tarumi, Kiyoshi Agusa, Yutaka Ohno:
A Programming Environment Supporting Reuse of Object-Oriented Software. 265-273 - David Notkin, William G. Griswold:
Extension and Software Development. 274-285
Specifying Concurrent Systems
- Matthias Hallman:
An Operational Requirement Description Model for Open Systems. 286-295 - Gruia-Catalin Roman:
Language and Visualization Support for Large-Scale Concurrency. 296-308 - Lin Chiu, Ming T. Liu:
High-Level Specification of Concurrency Control in Distributed Database Systems. 309-319
Panel
- Lloyd G. Williams:
Software Reuse (Panel Abstract). ICSE 1988: 320-323
Formal Methods
- Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink:
m-EVES: A Tool for Verifying Software. 324-333 - Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu:
Algebraic Specification of Macintosh's Quickdraw Using OBJ2. 334-343 - Robert B. Terwilliger, Roy H. Campbell:
An Early Report on Encompass. 344-355
User Issues
- Ronald Baecker:
Enhancing Program Readability and Comprehensibility with Tools for Program Visualization. 356-366 - Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly:
Design Principles behind Chiron: A UIMS for Software Environments. 367-376 - Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall:
Safety Verification in Murphy Using Fault Tree Analysis. 377-387
Automated Tools
- James L. Benjamin:
PILOT: A Prescription for Program Performance Measurement. 388-395 - David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring:
STATEMATE; A Working Environment for the Development of Complex Reactive Systems. 396-406 - Helen C. Sharp:
KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control. 407-417
Software Derivation
- Colin Potts, Glenn Bruns:
Recording the Reasons for Design Decisions. 418-427 - W. Lewis Johnson:
Deriving Specifications from Requirements. 428-438 - David R. Barstow:
Automatic Programming for Streams II: Transformational Implementation. 439-447
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-11-30 00:03 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: