17. ICSE 1995: Seattle, Washington, USA

Requirements

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

Testing

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

Process I

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

Reuse

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

Process II

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

Concurrency

• Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies:
  A Compact Petri Net Representation for Concurrent Programs. 147-157
  
• 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
  
• Kyo Chul Kang, Kwang-Il Ko:
  PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. 169-176
  

Architecture

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

Development

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

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
  
• Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh:
  Decentralised Process Enactment in a Multi-Perspective Development Environment. 255-264
  
• Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione:
  How to Deal With Deviations During Process Model Enactment. 265-273
  

State-of-the-Art (Invited)

• Lawrence G. Votta, Adam A. Porter:
  Experimental Software Engineering: A Report on the State of the Art. 277-279
  

Keynote (Invited)

• Michael Jackson:
  The World and the Machine. 283-292
  

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
  
• George T. Heineman, Gail E. Kaiser:
  An Architecture for Integrating Concurrency Control into Environment Frameworks. 305-313
  
• Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas:
  Tool Integration: Experiences and Directions. 315-324
  

Panel: Tractability of Reverse Engineering

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

Last update Wed Feb 15 04:12:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page