Proceedings of the 10th International Conference on Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.