11. ICSE 1989: Pittsburg, PA, USA

Proceedings of the 11th International Conference on Software Engineering, May 15-18, 1989, Pittsburg, PA, USA. IEEE Computer Society / ACM Press, 1989, ISBN 0-8186-1941-4

Software Development Environments

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

Analysis Techniques

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

Specification and Design

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

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

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

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 BibTeX
Wojtek Kozaczynski, Jim Q. Ning: SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering Activities. 113-122 BibTeX
S. Patel, R. A. Orr, M. T. Norris, David W. Bustard: Tools to Support Formal Methods. 123-132 BibTeX

Panel: Software Engineering for Business Applications

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

Software Development Environments

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

Formal Approaches

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

Software Design

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

Panel: Software Engineering Research Agendas

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

Complexity and Reliability

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

Panel: Software Engineering in the Year 2001

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

Process Assessment

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

Real-Time Systems

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

Process Modeling

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

Panel: Completely Validated Software

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

Current Issues

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

Panel: Modeling the Software Process

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