8. SIGSOFT FSE 2000: San Diego, California, USA

• Richard A. DeMillo:
  Software development for next generation communication networks. 1
  
• Martin P. Robillard, Gail C. Murphy:
  Designing robust Java programs with exceptions. 2-10
  
• Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide:
  Experience report: using RESOLVE/C++ for commercial software. 11-19
  
• Reimer Behrends, Kurt Stirewalt:
  The universe model: an approach for improving the modularity and reliability of concurrent programs. 20-29
  
• Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
  Automated test oracles for GUIs. 30-39
  
• Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer:
  Automated systematic testing for constraint-based interactive services. 40-49
  
• Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young:
  Compiler and tool support for debugging object protocols. 50-59
  
• Yunwen Ye, Gerhard Fischer, Brent Reeves:
  Integrating active information delivery and reuse repository systems. 60-68
  
• Robert J. Walker, Gail C. Murphy:
  Implicit context: easing software evolution and reuse. 69-78
  
• Richard D. Pethia:
  Bugs in the programs. 79
  
• Tetsuo Yamamoto, Makoto Matsushita, Katsuro Inoue:
  Accumulative versioning file system Moraine and its application to metrics environment MAME. 80-87
  
• Mark Chu-Carroll, Sara Sprenkle:
  Coven: brewing better collaboration through software configuration management. 88-97
  
• Peter F. Sweeney, Frank Tip:
  Extracting library-based object-oriented applications. 98-107
  
• Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf:
  The impact project: determining the impact of software engineering research upon practice (panel session). 108-109
  
• Jonathan D. Hay, Joanne M. Atlee:
  Composing features and resolving interactions. 110-119
  
• Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
  A compositional approach to statecharts semantics. 120-129
  
• Daniel Jackson:
  Automating first-order relational logic. 130-139
  
• Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
  On the formalization of architectural types with process algebras. 140-148
  
• Daniel Jackson, Kevin J. Sullivan:
  COM revisited: tool-assisted modelling of an architectural framework. 149-158
  
• Gleb Naumovich, Lori A. Clarke:
  Classifying properties: an alternative to the safety-liveness classification. 159-168
  
• Richard F. Rashid:
  The shape of things to come? 169
  

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