William E. Riddle, Robert M. Balzer, Kouichi Kishida
Proceedings of the Ninth International Conference on Software Engineering
ICSE, 1987.

@proceedings{ICSE-1987,
	acmid         = "41765",
	address       = "Monterey, California, USA",
	editor        = "William E. Riddle and Robert M. Balzer and Kouichi Kishida",
	isbn          = "0-89791-216-0",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the Ninth International Conference on Software Engineering}",
	year          = 1987,
}

Contents (40 items)

7 ×#process
5 ×#development
5 ×#programming
4 ×#modelling
4 ×#re-engineering
4 ×#specification
3 ×#design
3 ×#named
3 ×#on the
3 ×#scalability

ICSE-1987-Osterweil #process

Software Processes Are Software Too (LJO), pp. 2–13.

ICSE-1987-Lehman #modelling #process #programming #source code

Process Models, Process Programs, Programming Support (MML), pp. 14–16.

ICSE-1987-Bjorner #development #formal method #on the #using

On the Use of Formal Methods in Software Development (DB), pp. 17–29.

ICSE-1987-Stenning #on the

On the Role of an Environment (VS), pp. 30–35.

ICSE-1987-BerlinerZ #empirical #requirements #specification

An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System (EFB, PZ), pp. 42–50.

ICSE-1987-FutatsugiGMO #programming

Parameterized Programming in OBJ2 (KF, JAG, JM, KO), pp. 51–60.

ICSE-1987-Perry #modelling

Software Interconnection Models (DEP), pp. 61–71.

ICSE-1987-EhrlichE #modelling #reliability #testing

Modeling Software Failures and Reliability Growth During System Testing (WKE, TJE), pp. 72–82.

ICSE-1987-MiyazakiM #metric #using

Software Metrics Using Deviation Value (YM, NM), pp. 83–95.

ICSE-1987-CurtisKSI #modelling #on the #process

On Building Software Process Models Under the Lamppost (BC, HK, VYS, NI), pp. 96–105.

ICSE-1987-Ladkin #concurrent #dependence #process #specification #synthesis

Specification of Time Dependencies and Synthesis of Concurrent Processes (PBL), pp. 106–115.

ICSE-1987-Kramer #data type #distributed #named #petri net #specification

SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems (BJK), pp. 116–125.

ICSE-1987-Roman #distributed #hardware #interactive #specification

Specifying Software/Hardware Interactions in Distributed Systems (GCR), pp. 126–141.

ICSE-1987-Perry87a #version control

Version Control in the Inscape Environment (DEP), pp. 142–149.

ICSE-1987-Winkler #product line #scalability #source code #version control

Version Control in Families of Large Programs (JFHW), pp. 150–165.

ICSE-1987-Bernstein #database #re-engineering

Database System Support for Software Engineering (PAB), pp. 166–179.

ICSE-1987-KaiserF #architecture #development

An Architecture for Intelligent Assistance in Software Development (GEK, PHF), pp. 180–188.

ICSE-1987-Schwartz #evolution

Software Evolution Management: An Integrated Discipline for Managing Software (DPS), p. 189.

ICSE-1987-Serbanati #development #named

Interform: A CAD System for Program Development (LDIS), pp. 190–199.

ICSE-1987-Barstow #re-engineering

Artificial Intelligence and Software Engineering (DRB), pp. 200–215.

ICSE-1987-Rathke #communication #human-computer #re-engineering

Human-Computer Communication Meets Software Engineering (CR), pp. 216–224.

ICSE-1987-Reiss #concept #programming

A Conceptual Programming Environment (SPR), pp. 225–237.

ICSE-1987-Kelly #comparison #design #realtime

A Comparison of Four Design Methods for Real-Time Systems (JCK), pp. 238–252.

ICSE-1987-LubarsH #design #knowledge-based #using

Knowledge-Based Software Design Using Design Schemas (MDL, MTH), pp. 253–262.

ICSE-1987-Nomura #re-engineering #tool support #using

Use of Software Engineering Tools in Japan (TN), pp. 263–269.

ICSE-1987-SchwanRVO #parallel #programming

A System for Parallel Programming (KS, RR, SV, DMO), pp. 270–285.

ICSE-1987-Osterweil87a #lessons learnt

Lessons of Current Environments (LJO), p. 286.

ICSE-1987-Dowson #approach

ISTAR and the Contractual Approach (MD), pp. 287–288.

ICSE-1987-Hall #interface

Tool Interfaces in Integrated Project Support Environments (AH), pp. 289–290.

ICSE-1987-Matsumoto #case study #experience #hardware

Ten Years Experiences of a Software/Hardware Producing Environment (YM), p. 291.

ICSE-1987-Weiderman #development

Evaluating Software Development Environments (NHW), pp. 292–295.

ICSE-1987-Boehm #lessons learnt #process

Software Process Management: Lessons Learned from History (BWB), pp. 296–298.

ICSE-1987-Benington #scalability #source code

Production of Large Computer Programs (HDB), pp. 299–310.

ICSE-1987-Hosier #programming #realtime

Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming (WAH), pp. 311–327.

ICSE-1987-Royce #concept #development #scalability

Managing the Development of Large Software Systems: Concepts and Techniques (WWR), pp. 328–339.

ICSE-1987-Riddle #process

Improving the Software Process (WER), p. 344.

ICSE-1987-BasiliR #process

Tailoring the Software Process to Project Goals and Environments (VRB, HDR), pp. 345–359.

ICSE-1987-EmbleyW #data type #reuse

A Knowledge Structure for Reusing Abstract Data Types (DWE, SNW), pp. 360–368.

ICSE-1987-FischerLR #design

From Design to Redesign (GF, ACL, CR), pp. 369–376.

ICSE-1987-KatzRT #named #reuse

PARIS: A System for Reusing Partially Interpreted Schemas (SK, CR, KST), pp. 377–386.