Abstract is missing.
- The Inscape EnvironmentDewayne E. Perry. 2-12
- Tool Integration in the Pact EnvironmentIan Thomas. 13-22
- The IDeA Design EnvironmentMitchell D. Lubars. 23-32
- Declarative Visualization in the Shared Dataspace ParadigmGruia-Catalin Roman, Kenneth C. Cox. 34-43
- Task Interaction Graphs for Concurrency AnalysisDouglas L. Long, Lori A. Clarke. 44-52
- Rethinking the Taxonomy of Fault Detection TechniquesMichal Young, Richard N. Taylor. 53-62
- Software Development Process from Natural Language SpecificationMotoshi Saeki, Hisayuki Horai, Hajime Enomoto. 64-73
- An Algebraic Data Type Specification Language and Its Rapid Prototyping EnvironmentLuc Jadoul, Luc Duponcheel, Willy Van Puymbroeck. 74-84
- Twenty-Year Retrospective: The NATO Software Engineering ConferencesJames E. Tomayko. 96
- Thoughts on Software EngineeringBernard A. Galler. 97
- My Thoughts on Software Engineering in the Late 1960sDavid Gries. 98
- Remembrances of a Graduate StudentMary Shaw. 99-100
- SRE: A Knowledge-Based Environment for Large-Scale Software Re-Engineering ActivitiesWojtek Kozaczynski, Jim Q. Ning. 113-122
- Tools to Support Formal MethodsS. Patel, R. A. Orr, M. T. Norris, David W. Bustard. 123-132
- Twenty Years of Software Engineering: Looking Forward, Looking BackTom DeMarco. 134
- Software Engineering for Business DP: Looking Back and Looking ForwardMichael Jackson. 135
- Software SurvivorNicholas Zvegintzov. 136
- ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable SystemsT. Gallo, G. Serrano, Francesco Tisato. 138-144
- A Formal Adaptation Method for Process DescriptionsKatsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii. 145-153
- Object Management in a CASE EnvironmentEvan Adams, Masahiro Honda, Terrence C. Miller. 154-163
- Stepwise Refinement Process with Modularity: An Algebraic ApproachAtaru T. Nakagawa, Kokichi Futatsugi. 166-177
- Modular Specification of Incremental Program Transformation SystemsAlan Carle, Lori L. Pollock. 178-187
- The Relationship between Slices and Module CohesionLinda M. Ott, Jeffrey J. Thuss. 198-204
- A Generic Model for Representing Design MethodsColin Potts. 217-226
- Software Engineering Research Agendas - A View from the Trenches (Panel)Peter Freeman. 228
- Does Imperfect Debugging Affect Software Reliability Growth?Mitsuru Ohba, Xiao-Mei Chou. 237-244
- The Dimensionality of Program ComplexityJohn C. Munson, Taghi M. Khoshgoftaar. 245-253
- Software Development in the Year 2000Michael Jackson. 257
- The Scientific Engineering of SoftwareMichel Sintzoff. 258
- Work Structures and Shifts: An Empirical Analysis of Software Specification TeamworkSalah Bendifallah, Walt Scacchi. 260-270
- Software Development: State of the Art vs. State of the PracticeTom DeMarco, Tim Lister. 271-275
- The State of Software Engineering Practice: A Preliminary ReportWatts S. Humphrey, David H. Kitson, Tim C. Kasse. 277-288
- Structuring Criteria for Real Time System DesignHassan Gomaa. 290-301
- Completeness, Robustness, and Safety in Real-Time Software Requirements SpecificationMatthew S. Jaffe, Nancy G. Leveson. 302-311
- Timing Analysis of Cyclic Concurrent ProgramsC. Samuel Hsieh. 312-318
- A Process-Oriented Approach to Configuration ManagementYves Bernard, Pierre Lavency. 320-330
- Software Process Modeling: Principles of Entity Process ModelsWatts S. Humphrey, Marc I. Kellner. 331-342
- A Hierarchical and Functional Software Process Description and Its EnactionTakuya Katayama. 343-352
- Validation Through TestingJohn C. Cherniavsky. 354
- Error-Based Validation CompletenessWilliam E. Howden. 357
- Mathematics-Based Software Engineering for Completely Validated SoftwareRichard C. Linger. 358
- Completely Validated SoftwareRichard A. Kemmerer. 359-360
- In Defense of Coverage CriteriaElaine J. Weyuker. 361
- NLH/E: A Natural Language Help SystemWalter F. Tichy, Rolf Adams, Lars Holter. 364-374
- Technology Dependence in Function Point Analysis: A Case Study and Critical ReviewJune M. Verner, Graham Tate, B. Jackson, R. G. Hayward. 375-382
- Configuration Management in BiiN SMSRobert W. Schwanke, Ellis S. Cohen, Raimund Gluecker, William M. Hasling, D. A. Son, Michael E. Wagner. 383-393
- What We Really Need Are Process Model GeneratorsBarry W. Boehm. 397
- Three Problems Overcome with Behavioral Models of the Software Development ProcessBill Curtis. 398-399
- Software Process Modeling Experience (Panel Session Position Paper)Marc I. Kellner. 400-401
- Not Waving but Drowning : Representation Schemes for Modelling Software DevelopmentAnthony Finkelstein. 402-404 [doi]