17. ICSE 1995: Seattle, Washington, USA

Requirements

• Mats Per Erik Heimdahl, Nancy G. Leveson:
  Completeness and Consistency Analysis of State-Based Requirements. 3-14
  Electronic Edition (ACM DL) BibTeX
• Michael Jackson, Pamela Zave:
  Deriving Specifications from Requirements: An Example. 15-24
  Electronic Edition (ACM DL) BibTeX
• Lawrence Chung, Brian A. Nixon:
  Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach. 25-37
  Electronic Edition (ACM DL) BibTeX

Testing

• W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur:
  Effect of Test Set Minimization on Fault Detection Effectiveness. 41-50
  Electronic Edition (ACM DL) BibTeX
• Duncan Clarke, Insup Lee:
  Testing Real-Time Constraints in a Process Algebraic Setting. 51-60
  Electronic Edition (ACM DL) BibTeX
• Antonia Bertolino, Lorenzo Strigini:
  Using Testability Measures for Dependability Assessment. 61-70
  Electronic Edition (ACM DL) BibTeX

Process I

• Jonathan E. Cook, Alexander L. Wolf:
  Automating Process Discovery Through Event-Data Analysis. 73-82
  Electronic Edition (ACM DL) BibTeX
• Naser S. Barghouti, Balachander Krishnamurthy:
  Using Event Contexts and Matching Constraints to Monitor Software Processes. 83-92
  Electronic Edition (ACM DL) BibTeX

Reuse

• Scott Henninger, Kris Lappala, Anand Raghavendran:
  An Organizational Learning Approach to Domain Analysis. 95-104
  Electronic Edition (ACM DL) BibTeX
• Susan Rosenbaum, Bertrand du Castel:
  Managing Software Reuse - An Experience Report. 105-111
  Electronic Edition (ACM DL) BibTeX

Process II

• Fabiano Cattaneo, Alfonso Fuggetta, Luigi Lavazza:
  An Experience in Process Assessment. 115-121
  Electronic Edition (ACM DL) BibTeX
• Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno:
  Improvement of Software Process by Process Description and Benefit Estimation. 123-132
  Electronic Edition (ACM DL) BibTeX
• Lionel C. Briand, Walcélio L. Melo, Carolyn B. Seaman, Victor R. Basili:
  Characterizing and Assessing a Large-Scale Software Maintenance Organization. 133-143
  Electronic Edition (ACM DL) BibTeX

Concurrency

• Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies:
  A Compact Petri Net Representation for Concurrent Programs. 147-157
  Electronic Edition (ACM DL) BibTeX
• Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen:
  A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. 159-168
  Electronic Edition (ACM DL) BibTeX
• Kyo Chul Kang, Kwang-Il Ko:
  PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. 169-176
  Electronic Edition (ACM DL) BibTeX

Architecture

• David Garlan, Robert Allen, John Ockerbloom:
  Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. 179-185
  Electronic Edition (ACM DL) BibTeX
• David R. Harris, Howard B. Reubenstein, Alexander S. Yeh:
  Reverse Engineering to the Architectural Level. 186-195
  Electronic Edition (ACM DL) BibTeX
• Dilip Soni, Robert L. Nord, Christine Hofmeister:
  Software Architecture in Industrial Applications. 196-207
  Electronic Edition (ACM DL) BibTeX

Development

• Jacqueline Floch:
  Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator. 211-219
  Electronic Edition (ACM DL) BibTeX
• Craig Chambers, Jeffrey Dean, David Grove:
  A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. 221-230
  Electronic Edition (ACM DL) BibTeX
• Ryszard Janicki:
  Towards a Formal Semantics of Parnas Tables. 231-240
  Electronic Edition (ACM DL) BibTeX

Process III

• Barry W. Boehm, Prasanta K. Bose, Ellis Horowitz, Ming June Lee:
  Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach. 243-253
  Electronic Edition (ACM DL) BibTeX
• Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh:
  Decentralised Process Enactment in a Multi-Perspective Development Environment. 255-264
  Electronic Edition (ACM DL) BibTeX
• Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione:
  How to Deal With Deviations During Process Model Enactment. 265-273
  Electronic Edition (ACM DL) BibTeX

State-of-the-Art (Invited)

• Lawrence G. Votta, Adam A. Porter:
  Experimental Software Engineering: A Report on the State of the Art. 277-279
  Electronic Edition (ACM DL) BibTeX

Keynote (Invited)

• Michael Jackson:
  The World and the Machine. 283-292
  Electronic Edition (ACM DL) BibTeX

Integration

• Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins:
  A Component- and Message-Based Architectural Style for GUI Software. 295-304
  Electronic Edition (ACM DL) BibTeX
• George T. Heineman, Gail E. Kaiser:
  An Architecture for Integrating Concurrency Control into Environment Frameworks. 305-313
  Electronic Edition (ACM DL) BibTeX
• Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas:
  Tool Integration: Experiences and Directions. 315-324
  Electronic Edition (ACM DL) BibTeX

Panel: Tractability of Reverse Engineering

• Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth:
  Reverse Engineering of Legacy Code Exposed. 327-331
  Electronic Edition (ACM DL) BibTeX
• Alex Quilici:
  Reverse Engineering of Legacy Systems: A Path Toward Success. 333-336
  Electronic Edition (ACM DL) BibTeX