CASCON 2001: Toronto, Ontario, Canada

• Marsha Chechik, Wei Ding:
  Lightweight reasoning about program correctness. 1
  
• Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prado Leite:
  Using UML to reflect non-functional requirements. 2
  
• Amnon H. Eden, Yoram Hirshfeld:
  Principles in formal specification of object oriented design and architecture. 3
  
• Rita Granda, Kara Warburton:
  Terminology management as data management. 4
  
• Daqing Hou, H. James Hoover:
  Towards specifying constraints for object-oriented frameworks. 5
  
• Ming Hou:
  User experience with alignment of real and virtual objects in a stereoscopic augmented reality interface. 6
  
• Diane Kelly, Terry Shepard:
  A case study in the use of defect classification in inspections. 7
  
• Svetlana Kiritchenko, Stan Matwin:
  Email classification with co-training. 8
  
• Terence C. Lau, Jianguo Lu, Erik Hedges, Emily Xing:
  Migrating E-commerce database applications to an enterprise Java environment. 9
  
• Huixiang Liu, Timothy C. Lethbridge:
  Intelligent search techniques for large software systems. 10
  
• Wangzhong Lu, Jeannette Janssen, Evangelos E. Milios, Nathalie Japkowicz:
  Node similarity in networked information spaces. 11
  
• Ji-Ye Mao, Karel Vredenburg, Paul W. Smith, Tom Carey:
  User-centered design methods in practice: a survey of the state of the art. 12
  
• Thomas P. Nadeau, Toby J. Teorey:
  A Pareto model for OLAP view size estimation. 13
  
• Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best:
  Integrating SHriMP with the IBM websphere studio workbench. 14
  
• Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell:
  Extending the message flow debugger for MQSI. 15
  
• Hai Wang, Kenneth C. Sevcik:
  Utilizing histogram information. 16
  
• Johnny W. Wong, David Evans, Michael Kwok:
  On staleness and the delivery of web pages. 17
  
• Yongli Xi, Patrick Martin, Wendy Powley:
  An analytical model for buffer hit rate prediction. 18