| 2001 | Identifying Candidate Objects Using Hierarchical Clustering Analysis. | Somsak Phattarsukol, Pornsiri Muenchaisri |
| 2001 | A Formal Framework to Build Software Agents. | Manas Ranjan Patra, Hrushikesha Mohanty |
| 2001 | XML Rule Based Source Code Generator for UML CASE Tool. | Dong Hyuk Park, Soo Dong Kim |
| 2001 | Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. | Juan Jos Pardo, Valentn Valero Ruiz, Fernando Cuartero, Diego Cazorla |
| 2001 | Using TCOZ for Modeling Web Caching. | Henry Novianus Palit |
| 2001 | Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff. | Frank Padberg |
| 2001 | A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information. | Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue |
| 2001 | A Run-Time Deadlock Detector for Concurrent Java Programs. | Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng |
| 2001 | A Requirements Description Metamodel for Use Cases. | Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai |
| 2001 | Cost Analysis of Games, Using Program Logic. | Carroll Morgan, Annabelle McIver |
| 2001 | Orchestrating Computations on the World-Wide Web. | Jayadev Misra, Harrick M. Vin |
| 2001 | Z User Studio: An Integrated Support Tool for Z Specifications. | Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li |
| 2001 | Framework for Third Party Testing of Component Software. | Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon |
| 2001 | Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. | Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan |
| 2001 | Model Checking Value-Passing Processes. | Huimin Lin |
| 2001 | Formal Object-Oriented Analysis and Design of an Online Ticketing System. | Xiaoshan Li, Zhiming Liu, Zhensheng Guo |
| 2001 | An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented Designs. | Byungjeong Lee, Chisu Wu |
| 2001 | Component Identification Method with Coupling and Cohesion. | Jong Kook Lee, Seung Jae Seung, Soo Dong Kim, Woo Hyun, Dong Han Han |
| 2001 | Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems. | Jaejoon Lee, Sucheol Ha, Kyo Chul Kang, Youngyeol Choo, Yoonpyo Hong, Hwawon Hwang |
| 2001 | The Canonical Functional Design Based on the Domination-Relationship among Data. | Sukhamay Kundu |
| 2001 | Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. | Tomoji Kishi, Natsuko Noda, Takuya Katayama |
| 2001 | Improving the Testing Process by Program Static Analysis. | Nahomi Kikuchi, Tohru Kikuno |
| 2001 | A Model for Navigating Interview Processes in Requirements Elicitation. | Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai |
| 2001 | Model Checking Object-Z Classes: Some Experiments with FDR. | Geoff Kassel, Graeme Smith |
| 2001 | Specification of Distributed Systems with a Combination of Graphica and Formal Languages. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |