11. ICSE 1989: Pittsburg, PA, USA

Software Development Environments

• Dewayne E. Perry: The Inscape Environment. 2-12
• Ian Thomas: Tool Integration in the Pact Environment. 13-22
• Mitchell D. Lubars: The IDeA Design Environment. 23-32

Analysis Techniques

• Gruia-Catalin Roman, Kenneth C. Cox: Declarative Visualization in the Shared Dataspace Paradigm. 34-43
• Douglas L. Long, Lori A. Clarke: Task Interaction Graphs for Concurrency Analysis. 44-52
• Michal Young, Richard N. Taylor: Rethinking the Taxonomy of Fault Detection Techniques. 53-62

Specification and Design

• Motoshi Saeki, Hisayuki Horai, Hajime Enomoto: Software Development Process from Natural Language Specification. 64-73
• Luc Jadoul, Luc Duponcheel, Willy Van Puymbroeck: An Algebraic Data Type Specification Language and Its Rapid Prototyping Environment. 74-84
• Gregory Fox: Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems. 85-94

Panel: A Twenty Year Retrospective of the NATO Software Engineering Conferences

• James E. Tomayko: Twenty-Year Retrospective: The NATO Software Engineering Conferences. 96
• Bernard A. Galler: Thoughts on Software Engineering. 97
• David Gries: My Thoughts on Software Engineering in the Late 1960s. 98
• Mary Shaw: Remembrances of a Graduate Student. 99-100
• Douglas T. Ross: The NATO Conferences form the Perspective of an Active Software Engineer. 101-102

Knowledge-Based and Formal Approaches

• Bradley P. Allen, S. Daniel Lee: A Knowledge-Based Environment for the Development of Software Parts Composition Systems. 104-112
• Wojtek Kozaczynski, Jim Q. Ning: SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities. 113-122
• S. Patel, R. A. Orr, M. T. Norris, David W. Bustard: Tools to Support Formal Methods. 123-132

Panel: Software Engineering for Business Applications

• Tom DeMarco: Twenty Years of Software Engineering: Looking Forward, Looking Back. 134
• Michael Jackson: Software Engineering for Business DP: Looking Back and Looking Forward. 135
• Nicholas Zvegintzov: Software Survivor. 136

Software Development Environments

• T. Gallo, G. Serrano, Francesco Tisato: ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable Systems. 138-144
• Katsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii: A Formal Adaptation Method for Process Descriptions. 145-153
• Evan Adams, Masahiro Honda, Terrence C. Miller: Object Management in a CASE Environment. 154-163

Formal Approaches

• Ataru T. Nakagawa, Kokichi Futatsugi: Stepwise Refinement Process with Modularity: An Algebraic Approach. 166-177
• Alan Carle, Lori L. Pollock: Modular Specification of Incremental Program Transformation Systems. 178-187
• Kaizhi Yue: Validating System Requirements by Functional Decomposition and Dynamic Analysis. 188-196

Software Design

• Linda M. Ott, Jeffrey J. Thuss: The Relationship between Slices and Module Cohesion. 198-204
• Kevin W. Jameson: A Model for the Reuse of Software Design Information. 205-216
• Colin Potts: A Generic Model for Representing Design Methods. 217-226

Panel: Software Engineering Research Agendas

• Peter Freeman: Software Engineering Research Agendas - A View from the Trenches (Panel). 228

Complexity and Reliability

• Yutaka Nakagawa, Shuetsu Hanata: An Error Complexity Model for Software Reliability Measurement. 230-236
• Mitsuru Ohba, Xiao-Mei Chou: Does Imperfect Debugging Affect Software Reliability Growth? 237-244
• John C. Munson, Taghi M. Khoshgoftaar: The Dimensionality of Program Complexity. 245-253

Panel: Software Engineering in the Year 2001

• Robert Balzer: Software Engineering in the Year 2001. 256
• Michael Jackson: Software Development in the Year 2000. 257
• Michel Sintzoff: The Scientific Engineering of Software. 258

Process Assessment

• Salah Bendifallah, Walt Scacchi: Work Structures and Shifts: An Empirical Analysis of Software Specification Teamwork. 260-270
• Tom DeMarco, Tim Lister: Software Development: State of the Art vs. State of the Practice. 271-275
• Watts S. Humphrey, David H. Kitson, Tim C. Kasse: The State of Software Engineering Practice: A Preliminary Report. 277-288

Real-Time Systems

• Hassan Gomaa: Structuring Criteria for Real Time System Design. 290-301
• Matthew S. Jaffe, Nancy G. Leveson: Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. 302-311
• C. Samuel Hsieh: Timing Analysis of Cyclic Concurrent Programs. 312-318

Process Modeling

• Yves Bernard, Pierre Lavency: A Process-Oriented Approach to Configuration Management. 320-330
• Watts S. Humphrey, Marc I. Kellner: Software Process Modeling: Principles of Entity Process Models. 331-342
• Takuya Katayama: A Hierarchical and Functional Software Process Description and Its Enaction. 343-352

Panel: Completely Validated Software

• John C. Cherniavsky: Validation Through Testing. 354
• Richard A. DeMillo: Test Adequacy and Program Mutation. 355-356
• William E. Howden: Error-Based Validation Completeness. 357
• Richard C. Linger: Mathematics-Based Software Engineering for Completely Validated Software. 358
• Richard A. Kemmerer: Completely Validated Software. 359-360
• Elaine J. Weyuker: In Defense of Coverage Criteria. 361

Current Issues

• Walter F. Tichy, Rolf Adams, Lars Holter: NLH/E: A Natural Language Help System. 364-374
• June M. Verner, Graham Tate, B. Jackson, R. G. Hayward: Technology Dependence in Function Point Analysis: A Case Study and Critical Review. 375-382
• Robert W. Schwanke, Ellis S. Cohen, Raimund Gluecker, William M. Hasling, D. A. Son, Michael E. Wagner: Configuration Management in BiiN SMS. 383-393

Panel: Modeling the Software Process

• Gregory A. Hansen: Modeling the Software Engineering Process. 396
• Barry W. Boehm: What We Really Need Are Process Model Generators. 397
• Bill Curtis: Three Problems Overcome with Behavioral Models of the Software Development Process. 398-399
• Marc I. Kellner: Software Process Modeling Experience (Panel Session Position Paper). 400-401
• Anthony Finkelstein: "Not Waving but Drowning": Representation Schemes for Modelling Software Development. 402-404