13. ICSE 1991: Austin, Texas, USA

• James M. Purtilo, Aaron Larson, Jeff Clark:
  A Methodology for Prototyping-in-the-Large. 2-12
  
• Daniel Jackson:
  Aspect: An Economical Bug-Detector. 13-22
  
• Michael M. Gorlick, Rami R. Razouk:
  Using Weaves for Software Construction and Analysis. 23-34
  
• Susan L. Gerhart:
  Formal Methods: An International Perspective. 36-37
  
• Watts S. Humphrey, David H. Kitson, Julia Gale:
  A Comparison of U.S. and Japanese Software Process Maturity. 38-49
  
• William B. Frakes, Ted J. Biggerstaff, Rubén Prieto Díaz, Kazuo Matsumura, Wilhelm Schäfer:
  Software Reuse: is it delivering? 52-59
  
• John Hartman:
  Understanding Natural Programs Using Proper Decomposition. 62-73
  
• John D. Litke:
  Toward new Techniques to Assess the Software Implementation Process. 74-82
  
• Robert W. Schwanke:
  An Intelligent Tool for Re-Engineering Software Modularity. 83-92
  
• David A. Marca:
  Augmenting SADT to Develop Computer Support for Cooperative Work. 94-103
  
• Lillian Ruston, Michael J. Muller, Kathleen D. Cebulka:
  Designing Software for Use by Humans, not Machines. 104-113
  
• Jintae Lee:
  Extending the Potts and Bruns Model for Recording Design Rationale. 114-125
  
• Ronald J. Norman, Wayne Stevens, Elliot J. Chikofsky, John Jenkins, Burt L. Rubenstein, Gene Forte:
  CASE at the Start of the 1990's. 128-139
  
• Dan Craigen, Peter Ryan:
  FM91: Formal Methods Workshop. 140-142
  
• Marc I. Kellner, Bill Curtis, Tom DeMarco, Kouichi Kishida, Maurice Schlumberger, Colin Tully:
  Non-Technological Issues in Software Engineering. 144-146
  
• Bill Curtis:
  Techies as Non-Technological Factors in Software Engineering? 147-148
  
• Tom DeMarco:
  Non-Technological Issues in Software Engineering. 149-150
  
• Kouichi Kishida:
  Position Statement. 151
  
• Maurice Schlumberger:
  Software Engineering Management. 152-153
  
• Colin Tully:
  A Failure of Management Nerve and Vision. 154-155
  
• Robert Balzer:
  Tolerating Inconsistency. 158-165
  
• Nazim H. Madhavji:
  The Prism Model of Changes. 166-177
  
• Richard A. DeMillo:
  Progress Toward Automated Software Testing. 180-183
  
• Dan Craigen:
  Tool Support for Formal Methods. 184-185
  
• Michel Banâtre:
  Hiding Distribution in Distributed Systems. 189-196
  
• Andrew Bass, Maeve Boyle, Bryan Ratcliff:
  PRESTIGE: A CASE Workbench for the JSD Implementor. 198-207
  
• Rudolf K. Keller, Mary Cameron, Richard N. Taylor, Dennis B. Troup:
  User Interface Development and Software Environments: The Chiron-1 System. 208-218
  
• Steven S. Popovich, William M. Schell, Dewayne E. Perry:
  Experiences with an Environment Generation System. 219-224
  
• Raymond Jacoby, Yoshihiro Tohma:
  Parameter Value Computation by Least Square Method and Evaluation of Software Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution Software Reliability Growth Model (HGDM). 226-237
  
• Joseph M. Caruso, David W. Desormeau:
  Integrating Prior Knowledge with a Software Reliability Growth Model. 238-245
  
• Ram Chillarege, Wei-lun Kao, Richard G. Condit:
  Defect Type and Its Impact on the Growth Curve. 246-255
  
• Takuya Katayama:
  ISPW6: Support for the Software Process. 258-262
  
• Donald Gotterbarn:
  Ethical Considerations in Software Engineering. 266-274
  
• Jairus Hihn, Hamid Habib-agahi:
  Cost Estimation of Software Intensive Projects: A Survey of Current Practices. 276-287
  
• Richard W. Selby, Adam A. Porter, Douglas C. Schmidt, Jim Berney:
  Metric-Driven Analysis and Feedback Systems for Enabling Empirically Guided Software Development. 288-298
  
• Marilyn W. Bush:
  Process Assessments in NASA. 299-304
  
• Christian Jahl:
  The Information Technology Security Evaluation Criteria. 306-312
  
• Gerhard Fischer, Scott Henninger, David F. Redmiles:
  Cognitive tools for locating and comprehending software objects for reuse. 318-328
  
• Michael F. Dunn, John C. Knight:
  Software Reuse in an Industrial Setting: A Case Study. 329-338
  
• Neil Iscoe, Gerald B. Williams, Guillermo Arango:
  Domain Modeling for Software Engineering. 340-343
  
• David W. Franke, Martin K. Purvis:
  Hardware/Software Codesign: A Perspective. 344-352
  
• John Werth, Laurie Honour Werth:
  Directions in Software Engineering Education. 353-357