Abstract is missing.
- Lightweight reasoning about program correctnessMarsha Chechik, Wei Ding. 1 [doi]
- Using UML to reflect non-functional requirementsLuiz Marcio Cysneiros, Julio Cesar Sampaio do Prado Leite. 2 [doi]
- Principles in formal specification of object oriented design and architectureAmnon H. Eden, Yoram Hirshfeld. 3 [doi]
- Terminology management as data managementRita Granda, Kara Warburton. 4 [doi]
- Towards specifying constraints for object-oriented frameworksDaqing Hou, H. James Hoover. 5 [doi]
- User experience with alignment of real and virtual objects in a stereoscopic augmented reality interfaceMing Hou. 6 [doi]
- A case study in the use of defect classification in inspectionsDiane Kelly, Terry Shepard. 7 [doi]
- Email classification with co-trainingSvetlana Kiritchenko, Stan Matwin. 8 [doi]
- Migrating E-commerce database applications to an enterprise Java environmentTerence C. Lau, Jianguo Lu, Erik Hedges, Emily Xing. 9 [doi]
- Intelligent search techniques for large software systemsHuixiang Liu, Timothy C. Lethbridge. 10 [doi]
- Node similarity in networked information spacesWangzhong Lu, Jeannette Janssen, Evangelos E. Milios, Nathalie Japkowicz. 11 [doi]
- User-centered design methods in practice: a survey of the state of the artJi-Ye Mao, Karel Vredenburg, Paul W. Smith, Tom Carey. 12 [doi]
- A Pareto model for OLAP view size estimationThomas P. Nadeau, Toby J. Teorey. 13 [doi]
- Integrating SHriMP with the IBM websphere studio workbenchDerek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best. 14 [doi]
- Extending the message flow debugger for MQSIShuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O Farrell. 15 [doi]
- Utilizing histogram informationHai Wang, Kenneth C. Sevcik. 16 [doi]
- On staleness and the delivery of web pagesJohnny W. Wong, David Evans, Michael Kwok. 17 [doi]
- An analytical model for buffer hit rate predictionYongli Xi, Patrick Martin, Wendy Powley. 18 [doi]