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
  

Last update Mon May 20 15:03:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page