Larry E. Druffel, Dick Fairley, Dines Bjørner
Proceedings of the 11th International Conference on Software Engineering
ICSE, 1989.

@proceedings{ICSE-1989,
	acmid         = "74587",
	address       = "Pittsburg, Pennsylvania, USA",
	editor        = "Larry E. Druffel and Dick Fairley and Dines Bjørner",
	isbn          = "0-8186-1941-4",
	publisher     = "{IEEE Computer Society / ACM Press}",
	title         = "{Proceedings of the 11th International Conference on Software Engineering}",
	year          = 1989,
}

Contents (58 items)

10 ×#process
10 ×#re-engineering
7 ×#development
5 ×#modelling
5 ×#specification
4 ×#analysis
4 ×#composition
4 ×#design
3 ×#approach
3 ×#configuration management

ICSE-1989-Perry

The Inscape Environment (DEP), pp. 2–12.

ICSE-1989-Thomas #integration #tool support

Tool Integration in the Pact Environment (IT), pp. 13–22.

ICSE-1989-Lubars #design #idea

The IDeA Design Environment (MDL), pp. 23–32.

ICSE-1989-RomanC #declarative #paradigm #visualisation

Declarative Visualization in the Shared Dataspace Paradigm (GCR, KCC), pp. 34–43.

ICSE-1989-LongC #analysis #concurrent #graph #interactive

Task Interaction Graphs for Concurrency Analysis (DLL, LAC), pp. 44–52.

ICSE-1989-YoungT #detection #fault #taxonomy

Rethinking the Taxonomy of Fault Detection Techniques (MY, RNT), pp. 53–62.

ICSE-1989-SaekiHE #development #natural language #process #specification

Software Development Process from Natural Language Specification (MS, HH, HE), pp. 64–73.

ICSE-1989-JadoulDP #agile #algebra #data type #prototype #specification

An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment (LJ, LD, WVP), pp. 74–84.

ICSE-1989-Fox #development #lifecycle #performance #scalability

Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems (GF), pp. 85–94.

ICSE-1989-Tomayko #re-engineering

Twenty-Year Retrospective: The NATO Software Engineering Conferences (JET), p. 96.

ICSE-1989-Galler #re-engineering

Thoughts on Software Engineering (BAG), p. 97.

ICSE-1989-Gries #re-engineering

My Thoughts on Software Engineering in the Late 1960s (DG), p. 98.

ICSE-1989-Shaw #student

Remembrances of a Graduate Student (MS), pp. 99–100.

ICSE-1989-Ross

The NATO Conferences form the Perspective of an Active Software Engineer (DTR), pp. 101–102.

ICSE-1989-AllenL #composition #development #knowledge-based

A Knowledge-Based Environment for the Development of Software Parts Composition Systems (BPA, SDL), pp. 104–112.

ICSE-1989-KozaczynskiN #knowledge-based #named #process #re-engineering #scalability

SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities (WK, JQN), pp. 113–122.

ICSE-1989-PatelONB #formal method #tool support

Tools to Support Formal Methods (SP, RAO, MTN, DWB), pp. 123–132.

ICSE-1989-DeMarco #re-engineering #roadmap

Twenty Years of Software Engineering: Looking Forward, Looking Back (TD), p. 134.

ICSE-1989-Jackson #re-engineering #roadmap

Software Engineering for Business DP: Looking Back and Looking Forward (MJ), p. 135.

ICSE-1989-Zvegintzov

Software Survivor (NZ), p. 136.

ICSE-1989-GalloST #approach #configuration management #named #object-oriented #scalability

ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable Systems (TG, GS, FT), pp. 138–144.

ICSE-1989-InoueOKT #adaptation #process

A Formal Adaptation Method for Process Descriptions (KI, TO, TK, KT), pp. 145–153.

ICSE-1989-AdamsHM #automation

Object Management in a CASE Environment (EA, MH, TCM), pp. 154–163.

ICSE-1989-NakagawaF #algebra #approach #composition #process #refinement

Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.

ICSE-1989-CarleP #composition #incremental #program transformation #specification

Modular Specification of Incremental Program Transformation Systems (AC, LLP), pp. 178–187.

ICSE-1989-Yue #composition #dynamic analysis #functional #requirements #validation

Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.

ICSE-1989-OttT #slicing

The Relationship between Slices and Module Cohesion (LMO, JJT), pp. 198–204.

ICSE-1989-Jameson #design #reuse #using

A Model for the Reuse of Software Design Information (KWJ), pp. 205–216.

ICSE-1989-Potts #design #representation

A Generic Model for Representing Design Methods (CP), pp. 217–226.

ICSE-1989-NakagawaH #complexity #fault #metric #reliability

An Error Complexity Model for Software Reliability Measurement (YN, SH), pp. 230–236.

ICSE-1989-OhbaC #debugging #question #reliability

Does Imperfect Debugging Affect Software Reliability Growth? (MO, XMC), pp. 237–244.

ICSE-1989-MunsonK #complexity

The Dimensionality of Program Complexity (JCM, TMK), pp. 245–253.

ICSE-1989-Balzer #re-engineering

Software Engineering in the Year 2001 (RB), p. 256.

ICSE-1989-Jackson2000 #development

Software Development in the Year 2000 (MJ), p. 257.

ICSE-1989-Sintzoff

The Scientific Engineering of Software (MS), p. 258.

ICSE-1989-BendifallahS #analysis #empirical #specification

Work Structures and Shifts: An Empirical Analysis of Software Specification Teamwork (SB, WS), pp. 260–270.

ICSE-1989-DeMarcoL #development #state of the art

Software Development: State of the Art vs. State of the Practice (TD, TL), pp. 271–275.

ICSE-1989-HumphreyKK #re-engineering

The State of Software Engineering Practice: A Preliminary Report (WSH, DHK, TCK), pp. 277–288.

ICSE-1989-Gomaa #design #realtime

Structuring Criteria for Real Time System Design (HG), pp. 290–301.

ICSE-1989-JaffeL #realtime #requirements #robust #safety #specification

Completeness, Robustness, and Safety in Real-Time Software Requirements Specification (MSJ, NGL), pp. 302–311.

ICSE-1989-Hsieh #analysis #concurrent #source code

Timing Analysis of Cyclic Concurrent Programs (CSH), pp. 312–318.

ICSE-1989-BernardYL #approach #configuration management

A Process-Oriented Approach to Configuration Management (YB, PL), pp. 320–330.

ICSE-1989-HumphreyK #modelling #process

Software Process Modeling: Principles of Entity Process Models (WSH, MIK), pp. 331–342.

ICSE-1989-Katayama #functional #process

A Hierarchical and Functional Software Process Description and Its Enaction (TK), pp. 343–352.

ICSE-1989-Cherniavsky #testing #validation

Validation Through Testing (JCC), p. 354.

ICSE-1989-DeMillo #test coverage #testing

Test Adequacy and Program Mutation (RAD), pp. 355–356.

ICSE-1989-Howden #validation

Error-Based Validation Completeness (WEH), p. 357.

ICSE-1989-Linger #re-engineering

Mathematics-Based Software Engineering for Completely Validated Software (RCL), p. 358.

ICSE-1989-Kemmerer

Completely Validated Software (RAK), pp. 359–360.

ICSE-1989-Weyuker #test coverage

In Defense of Coverage Criteria (EJW), p. 361.

ICSE-1989-TichyAH #named #natural language

NLH/E: A Natural Language Help System (WFT, RA, LH), pp. 364–374.

ICSE-1989-VernerTJH #analysis #case study #dependence #overview #perspective

Technology Dependence in Function Point Analysis: A Case Study and Critical Review (JMV, GT, BJ, RGH), pp. 375–382.

ICSE-1989-SchwankeCGHSW #configuration management

Configuration Management in BiiN SMS (RWS, ESC, RG, WMH, DAS, MEW), pp. 383–393.

ICSE-1989-Hansen #modelling #process #re-engineering

Modeling the Software Engineering Process (GAH), p. 396.

ICSE-1989-Boehm #generative #process #what

What We Really Need Are Process Model Generators (BWB), p. 397.

ICSE-1989-Curtis #behaviour #development #modelling #problem #process

Three Problems Overcome with Behavioral Models of the Software Development Process (BC), pp. 398–399.

ICSE-1989-Kellner #experience #modelling #process

Software Process Modeling Experience (MIK), pp. 400–401.

ICSE-1989-Finkelstein #development #modelling #quote #representation

“Not Waving but Drowning”: Representation Schemes for Modelling Software Development (AF), pp. 402–404.