16. ICSE 1994: Sorrento, Italy

Experiences with Formal Representations of Software

• Mark A. Ardis:
  Lessons from Using Basic LOTOS. 5-14
  
• John A. Keane, Walter Hussak:
  A Formal Approach to Determining Parallel Resource Bindings: Experience Report. 15-22
  
• Premkumar T. Devanbu, Mark A. Jones:
  The Use of Description Logics in KBSE Systems: Experience Report. 23-35
  

Understanding Complex Systems

• Anneliese von Mayrhauser, A. Marie Vans:
  Comprehension Processes During Large Scale Maintenance. 39-48
  
• Maren Krone, Gregor Snelting:
  On the Inference of Configuration Structures from Source Code. 49-57
  
• Marla J. Baker, Stephen G. Eick:
  Visualizing Software Systems. 59-67
  

Software Architectures

• Robert J. Allen, David Garlan:
  Formalizing Architectural Connection. 71-80
  
• Rick Kazman, Leonard J. Bass, Mike Webb, Gregory D. Abowd:
  SAAM: A Method for Analyzing the Properties of Software Architectures. 81-90
  
• Ali Mili, Rym Mili, Roland Mittermeir:
  Storing and Retrieving Software Components: A Refinement Based System. 91-100
  

Measurement and Evaluation

• Adam A. Porter, Lawrence G. Votta:
  An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections. 103-112
  
• Philip M. Johnson:
  An Instrumented Approach to Improving Software Quality Through Formal Technical Review. 113-122
  
• Y. Takada, Ken-ichi Matsumoto, Koji Torii:
  A Programmer Performance Measure Based on Programmer State Transitions in Testing and Debugging Process. 123-132
  

Best Paper of ICSE-6

• Sol J. Greenspan, John Mylopoulos, Alexander Borgida:
  On Formal Requirements Modeling Languages: RML Revisited. 135-147
  

A. Nico Habermann

• David Garlan, J. Frits Habermann, David Notkin:
  Nico Habermann's Research: A Brief Retrospective. 149-153
  

Process Modelling

• Eric S. K. Yu, John Mylopoulos:
  Understanding "Why" in Software Process Modelling, Analysis, and Design. 159-168
  
• Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
  Software Process Description Using LOTOS and Its Enaction. 169-178
  
• Israel Ben-Shaul, Gail E. Kaiser:
  A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment. 179-188
  

Software Testing I

• Monica Hutchins, Herbert Foster, Tarak Goradia, Thomas J. Ostrand:
  Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria. 191-200
  
• Gregg Rothermel, Mary Jean Harrold:
  A Framework for Evaluating Regression Test Selection Techniques. 201-210
  
• Yih-Farn Chen, David S. Rosenblum, Kiem-Phong Vo:
  TestTube: A System for Selective Regression Testing. 211-220
  

State of the Art Report

• Marie-Claude Gaudel:
  Formal Specification Techniques (Extended Abstract). 223-227
  

Software Testing II

• G. Deshmukh, R. Deshpande, James F. Leathrum, K. A. Liburdy:
  The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report. 233-240
  
• Premkumar T. Devanbu, David S. Rosenblum, Alexander L. Wolf:
  Automated Construction of Testing and Analysis Tools. 241-250
  

• Jeff Kramer:
  Distributed Software Engineering. 253-263
  

Panels

• Kevin D. Wentzel:
  Software Reuse - Facts and Myths. 267-268
  
• Victor R. Basili:
  Facts and Myths Affecting Software Reuse. 269
  
• Martin L. Griss:
  Software Reuse Experience at Hewlett-Packard. 270
  
• Will Tracz:
  Software Reuse Myths Revisited. 271-272
  
• Michael Wasmund:
  Reuse Facts and Myths. 273
  

Invited Talk

• David Lorge Parnas:
  Software Aging. 279-287
  

Real-Time and Distributed Systems

• H. Rebecca Callison:
  A Periodic Object Model for Real-Time Systems. 291-300
  
• Tullio Vardanega:
  Experience with the Development of Hard Real-Time Embedded Ada Software. 301-308
  
• Shing-Chi Cheung, Jeff Kramer:
  An Integrated Method for Effective Behaviour Analysis of Distributed Systems. 309-320
  

Process Analysis and Improvement

• Albert Johnson:
  Software Process Improvement Experience in the DP/MIS Function: Experience Report. 323-329
  
• Judith G. Brodman, Donna L. Johnson:
  What Small Business and Small Organizations Say About the CMM: Experience Report. 331-340
  
• Pankaj K. Garg, Peiwei Mi, Thuan Pham, Walt Scacchi, Gary Thunquest:
  The SMART Approach for Software Process Engineering. 341-350
  

Workshops

• Stephen Fickas, Peter G. Selfridge:
  Software Engineering and Artificial Intelligence. 353-354
  
• Roger King:
  Workshop on the Intersection Between Databases and Software Engineering. 355
  
• Richard N. Taylor, Joëlle Coutaz:
  Workshop on Software Engineering and computer-Human Interaction: Joint Research Issues. 356-357
  
• Anthony Finkelstein:
  Software Engineering Education: A Place in the Sun? 358-359
  
• David Garlan, Dewayne E. Perry:
  Software Architecture: Practice, Potential, and Pitfalls. 363-364
  
• Barry W. Boehm:
  Software Architectures: Critical Success Factors and Cost Drivers. 365
  
• Jeff Kramer:
  Exoskeletal Software. 366
  
• Bill Curtis:
  A Process for Hitting Paydirt. 369