15. ICSE 1993: Baltimore, Maryland, USA

Formal Methods

• Richard C. Linger:
  Cleanroom Software Engineering for Zero-Defect Software. 2-13
  
• Yabo Wang, David Lorge Parnas:
  Simulating the Behaviour of Software Modules by Trace Rewriting. 14-23
  
• Susan L. Gerhart, Dan Craigen, Ted Ralston:
  Observations on Industrial Practice Using Formal Methods. 24-33
  

Metrics

• Arun Lakhotia:
  Rule-Based Approach to Computing Module Cohesion. 35-44
  
• Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini:
  Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. 45-54
  
• Lionel C. Briand, William M. Thomas, Christopher J. Hetmanski:
  Modeling and Managing Risk Early in Software Development. 55-65
  

Process

• David H. Kitson, Stephen M. Masters:
  An Analysis of SEI Software Process Assessment Results: 1987-1991. 68-77
  
• Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavji, Tilmann F. W. Bruckhaus, Kamel Toubache, Won-Kook Hong, Khaled El Emam:
  A Comprehensive Process Model for Studying Software Process Papers. 78-88
  
• Inderpal S. Bhandari, Norman Roth:
  Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation. 89-98
  

Testing

• A. Jefferson Offutt, Gregg Rothermel, Christian Zapf:
  An Experimental Evaluation of Selective Mutation. 100-107
  
• Janusz W. Laski, Wojciech Szermer, Piotr Luczycki:
  Dynamic Mutation Testing in Integrated Regression Analysis. 108-117
  
• Richard G. Hamlet, Bruce Gifford, Borislav Nikolik:
  Exploring Dataflow Testing of Arrays. 118-129
  

Process

• Gail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul:
  A Bi-Level Language for Software Process Modeling. 132-143
  
• Sergio Bandinelli, Alfonso Fuggetta:
  Computational Reflection in Software Process Modeling: The SLANG Approach. 144-154
  
• Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta:
  Prototyping a Process Monitoring Experiment. 155-165
  

Requirements Engineering

• Tetsuo Tamai, Akito Itou:
  Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. 167-176
  
• José M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan:
  Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. 177-186
  
• Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
  Expressing the Relationships Between Multiple Views in Requirements Specification. 187-196
  

• Neil Iscoe:
  Domain Modeling - Overview & Ongoing Research at EDS. 198-200
  

Process

• Clement L. McGowan, Shawn A. Bohner:
  Model Based Process Assessments. 202-211
  
• Harvey Wohlwend, Susan Rosenbaum:
  Software Improvements in an International Company. 212-220
  
• Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven:
  Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice. 221-229
  

Design Methods

• Guillermo Arango, Eric Schoen, Robert Pettengill:
  A Process for Consolidating and Reusing Design Knowledge. 231-242
  
• Guillermo Arango, Eric Schoen, Robert Pettengill, Josiah C. Hoskins:
  The Graft-Host Method for Design Change. 243-254
  
• Mitchell D. Lubars, Colin Potts, Charles Richter:
  Developing Initial OOA Models. 255-264
  

Testing

• Kuo-Chung Tai:
  Predicate-Based Test Generation for Computer Programs. 267-276
  
• Hasan Ural, Bo Yang:
  Modeling Software for Accurate Data Flow Representation. 277-286
  
• Paul Piwowarski, Mitsuru Ohba, Joseph M. Caruso:
  Coverage Measurement Experience During Function Test. 287-301
  

Specification Methods

• Alexander Borgida, John Mylopoulos, Raymond Reiter:
  "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. 303-314
  
• Pierre-Jacques Courtois, David Lorge Parnas:
  Documentation for Safety Critical Software. 315-323
  
• Michael F. Kleyn, James C. Browne:
  A High Level Language for Specifying Graph Based Languages and Their Programming Environments. 324-335
  

Software Engineering Environments

• Alan W. Brown:
  An Examination of the Current State of IPSE Technology. 338-347
  
• Marvin V. Zelkowitz:
  Use of an Environment Classification Model. 348-357
  
• Peri L. Tarr, Stanley M. Sutton Jr.:
  Programming Heterogeneous Transactions for Software Development Environments. 358-369
  

Reuse

• Robert J. Hall:
  Generalized Behavior-Based Retrieval. 371-380
  
• Michael F. Dunn, John C. Knight:
  Automating the Detection of Reusable Parts in Existing Software. 381-390
  
• Stephen B. Ornburn, Richard J. LeBlanc:
  Building, Modifying and Using Component Generators. 391-402
  

Testing

• Phil Stocks, David A. Carrington:
  Test Templates: A Specification-Based Testing Framework. 405-414
  
• Phyllis G. Frankl, Elaine J. Weyuker:
  An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques. 415-424
  
• Siddhartha R. Dalal, Joseph R. Horgan, J. R. Kettenring:
  Reliable Software and Communication: Software Quality, Reliability, and Safety. 425-435
  

Tools

• Marty Sirkin, Don S. Batory, Vivek Singhal:
  Software Components in a Data Structure Precompiler. 437-446
  
• David Garlan, Curtis Scott:
  Adding Implicit Invocation to Rraditional Programming Languages. 447-455
  
• Sougata Mukherjea, John T. Stasko:
  Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding. 456-465
  

• Howard A. Rubin:
  Software Process Maturity: Measuring Its Impact on Productivity and Quality. 468-476
  
• Barbara Kitchenham, Kari Känsälä:
  Inter-item Correlations among Function Points. 477-480
  
• Ted J. Biggerstaff, Bharat G. Mitbander, Dallas E. Webster:
  The Concept Assignment Problem in Program Understanding. 482-498
  
• Helen M. Edwards, Malcolm Munro:
  RECAST: Reverse Engineering from COBOL to SSADM Specification. 499-508
  
• Jon Beck, David Eichmann:
  Program and Interface Slicing for Reverse Engineering. 509-518
  

Last update Fri May 25 08:21:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page