Tan Chin Nam, Larry E. Druffel, Bertrand Meyer
Proceedings of the 10th International Conference on Software Engineering
ICSE, 1988.

@proceedings{ICSE-1988,
	acmid         = "55823",
	address       = "10th International Conference on Software Engineering, Singapore",
	editor        = "Tan Chin Nam and Larry E. Druffel and Bertrand Meyer",
	isbn          = "0-8186-0849-8",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 10th International Conference on Software Engineering}",
	year          = 1988,
}

Contents (44 items)

8 ×#design
6 ×#distributed
6 ×#named
5 ×#development
5 ×#modelling
5 ×#tool support
4 ×#automation
4 ×#using
3 ×#programming
3 ×#realtime

ICSE-1988-Kishida #evolution #tool support

Evolution of Tools (KK), p. 2.

ICSE-1988-Itzigehl #parallel

A Method for Asynchronous Parallelization (PRI), pp. 4–9.

ICSE-1988-Satyanarayanan #distributed #on the

On the Influence of Scale in a Distributed System (MS), pp. 10–18.

ICSE-1988-BarbacciWW #programming

Programming at the Processor-Memory-Switch Level (MB, CBW, JMW), pp. 19–29.

ICSE-1988-BoehmR #case study #project management

Theory-W Software Project Management: A Case Study (BWB, RR), pp. 30–40.

ICSE-1988-Duncan #development #metric #tool support

Software Development Productivity Tools and Metrics (ASD), pp. 41–48.

ICSE-1988-Dixon #project management

Integrated Support for Project Management (DD), pp. 49–59.

ICSE-1988-PerryK #development #modelling

Models of Software Development Environments (DEP, GEK), pp. 60–68.

ICSE-1988-KishidaKMMOSSTW #approach #design #named #novel

SDA: A Novel Approach to Software Environment Design and Construction (KK, TK, MM, IM, KO, NS, JHS, KT, LGW), pp. 69–79.

ICSE-1988-MullerK #in the large #named

Rigi — A System for Programming-in-the-Large (HAM, KK), pp. 80–87.

ICSE-1988-Fagerstrom #design #distributed

Design and Test of Distributed Applications (JF), pp. 88–92.

ICSE-1988-Muhlhauser #design #distributed #re-engineering

Software Engineering for Distributed Applications: The Design Project (MM), pp. 93–101.

ICSE-1988-EvangelistSFG #design #distributed #using

Using Raddle To Design Distributed Systems (ME, VYS, IRF, MG), pp. 102–115.

ICSE-1988-HuangZC #algorithm #clustering #distributed #heuristic #realtime

Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications (XH, HZ, XC), pp. 116–121.

ICSE-1988-Hagemann #analysis #automation #realtime #requirements

Requirements Analysis for Real-Time Automation Projects (MH), pp. 122–129.

ICSE-1988-OrrNTR #design #realtime #tool support

Tools for Real-Time System Design (RAO, MTN, RT, CDVR), pp. 130–140.

ICSE-1988-EmbleyW #ada #data type #quality

Assessing the Quality of Abstract Data Types Written in Ada (DWE, SNW), pp. 144–153.

ICSE-1988-MathurK #modelling

Modeling Mutation on a Vector Processor (APM, EWK), pp. 154–161.

ICSE-1988-DucasseE #automation #debugging #overview

A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques (MD, AME), pp. 162–173.

ICSE-1988-Williams #approach #behaviour #modelling #process

Software Process Modeling: A Behavioral Approach (LGW), pp. 174–186.

ICSE-1988-JefferyB #validation

Validating the TAME Resource Data Model (DRJ, VRB), pp. 187–201.

ICSE-1988-Fonorow #modelling #tool support

Modeling Software Tools with Icon (ORF), pp. 202–221.

ICSE-1988-Narayanaswamy #evolution #framework #lisp #static analysis

Static Analysis-Based Program Evolution Support in the Common Lisp Framework (KN), pp. 222–230.

ICSE-1988-Mano #generative #modelling #reuse #source code

Modeling of Data-Processing Software for Generating and Reusing Their Programs (NM), pp. 231–240.

ICSE-1988-ZeilE

Interpretation in a Tool-Fragment Environment (SJZ, ECE), pp. 241–249.

ICSE-1988-Wasserman #development #hardware

Implications of Hardware Advances for Software Development (AIW), pp. 250–253.

ICSE-1988-LieberherrR #case study #named

Demeter: A Case Study of Software Growth through Parameterized Classes (KJL, AJR), pp. 254–264.

ICSE-1988-TarumiAO #object-oriented #programming #reuse #using

A Programming Environment Supporting Reuse of Object-Oriented Software (HT, KA, YO), pp. 265–273.

ICSE-1988-NotkinG #development

Extension and Software Development (DN, WGG), pp. 274–285.

ICSE-1988-Hallman

An Operational Requirement Description Model for Open Systems (MH), pp. 286–295.

ICSE-1988-Roman #concurrent #scalability #visualisation

Language and Visualization Support for Large-Scale Concurrency (GCR), pp. 296–308.

ICSE-1988-ChiuL #concurrent #database #distributed #specification

High-Level Specification of Concurrency Control in Distributed Database Systems (LC, MTL), pp. 309–319.

ICSE-1988-CraigenKMNPS #named #verification

m-EVES: A Tool for Verifying Software (DC, SK, IM, AN, BP, MS), pp. 324–333.

ICSE-1988-NakagawaFTS #algebra #specification #using

Algebraic Specification of Macintosh’s Quickdraw Using OBJ2 (ATN, KF, ST, TS), pp. 334–343.

ICSE-1988-TerwilligerC

An Early Report on Encompass (RBT, RHC), pp. 344–355.

ICSE-1988-Baecker #readability #tool support #visualisation

Enhancing Program Readability and Comprehensibility with Tools for Program Visualization (RB), pp. 356–366.

ICSE-1988-YoungTTK #design

Design Principles behind Chiron: A UIMS for Software Environments (MY, RNT, DBT, CDK), pp. 367–376.

ICSE-1988-ChaLS #analysis #fault #safety #using #verification

Safety Verification in Murphy Using Fault Tree Analysis (SSC, NGL, TJS), pp. 377–387.

ICSE-1988-Benjamin #metric #named #performance

PILOT: A Prescription for Program Performance Measurement (JLB), pp. 388–395.

ICSE-1988-HarelLNPPSS #development

STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.

ICSE-1988-Sharp #automation #design #evaluation #named #refinement #using

KDA — A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control (HCS), pp. 407–417.

ICSE-1988-PottsB #design

Recording the Reasons for Design Decisions (CP, GB), pp. 418–427.

ICSE-1988-Johnson #requirements #specification

Deriving Specifications from Requirements (WLJ), pp. 428–438.

ICSE-1988-Barstow #automation #implementation #programming

Automatic Programming for Streams II: Transformational Implementation (DRB), pp. 439–447.