| 2001 | 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China |
| 2001 | A Component-Based Framework and Reusability in Garment. Naixiao Zhang, Ying Liu |
| 2001 | A Formal Framework to Build Software Agents. Manas Ranjan Patra, Hrushikesha Mohanty |
| 2001 | A Framework for Migrating Procedural Code to Object-Oriented Platforms. Ying Zou, Kostas Kontogiannis |
| 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 | A Probabilistic Approach to Automatic Verification of Concurrent Systems. Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli |
| 2001 | A Requirements Description Metamodel for Use Cases. Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai |
| 2001 | A Rigorous Method for Testing Real-Time Reactive Systems. Vangalur S. Alagar, Mao Zheng |
| 2001 | A Run-Time Deadlock Detector for Concurrent Java Programs. Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng |
| 2001 | A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information. Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue |
| 2001 | A Theory of Combinational Programs. Van Dung Tran, Jifeng He |
| 2001 | An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented Designs. Byungjeong Lee, Chisu Wu |
| 2001 | An Effective Testing Technique for Component Composition in EJBs. Hoijin Yoon, Byoungju Choi |
| 2001 | An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective? Daniela E. Damian |
| 2001 | An XML/XSL Approach to Visualize and Animate TCOZ. Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |
| 2001 | Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach. Philippe Chevalley |
| 2001 | Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. Tomoji Kishi, Natsuko Noda, Takuya Katayama |
| 2001 | Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study. Allen H. Dutoit, Oliver Creighton, Gudrun Klinker, Rafael Kobylinski, Christoph Vilsmeier, Bernd Brügge |
| 2001 | Aspect-Oriented Implementation of Software Health Indicators. James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora |
| 2001 | Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan |
| 2001 | Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla |
| 2001 | Compilation of Specifications. Colin J. Fidge |
| 2001 | Component Identification Method with Coupling and Cohesion. Jong Kook Lee, Seung Jae Seung, Soo Dong Kim, Woo Hyun, Dong Han Han |
| 2001 | Component Metrics to Measure Component Quality. Eun Sook Cho, Min Sun Kim, Soo Dong Kim |
| 2001 | Cost Analysis of Games, Using Program Logic. Carroll Morgan, Annabelle McIver |
| 2001 | Deriving Operational Semantics from Denotational Semantics for Verilog. Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2001 | Development of Session Management Mechanism for Cellular Phone with WWW Connection. Satoru Uehara, Osamu Mizuno, Tohru Kikuno |
| 2001 | Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach. Christos Tjortjis, Paul J. Layzell |
| 2001 | Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. Gwen Salaün, Michel Allemand, J. Christian Attiogbé |
| 2001 | Formal Object-Oriented Analysis and Design of an Online Ticketing System. Xiaoshan Li, Zhiming Liu, Zhensheng Guo |
| 2001 | Formal Specification of Mixed Components with Korrigan. Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2001 | Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen |
| 2001 | Formalization and 'Literate' Programming. Hugh Anderson |
| 2001 | Formalizing Models and Meta-models for System Development. R. Venkatesh, Purandar Bhaduri, Mathai Joseph |
| 2001 | Framework for Third Party Testing of Component Software. Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon |
| 2001 | Identifying Candidate Objects Using Hierarchical Clustering Analysis. Somsak Phattarsukol, Pornsiri Muenchaisri |
| 2001 | Improving the Testing Process by Program Static Analysis. Nahomi Kikuchi, Tohru Kikuno |
| 2001 | Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project. Allen H. Dutoit, Joyce Johnstone, Bernd Brügge |
| 2001 | Model Checking Object-Z Classes: Some Experiments with FDR. Geoff Kassel, Graeme Smith |
| 2001 | Model Checking UML Statecharts. Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi |
| 2001 | Model Checking Value-Passing Processes. Huimin Lin |
| 2001 | On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. Jinhui Shan, Ji Wang, Zhichang Qi |
| 2001 | On the Implementation of Catalysis Frameworks in COM. Shui Ming Ho, Kung-Kiu Lau |
| 2001 | Operational Semantics for Verilog. Jordan Dimitrov |
| 2001 | Orchestrating Computations on the World-Wide Web. Jayadev Misra, Harrick M. Vin |
| 2001 | Partitioning Program into Hardware and Software. Shengchao Qin, Jifeng He |
| 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 | Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff. Frank Padberg |
| 2001 | Specification of Distributed Systems with a Combination of Graphica and Formal Languages. Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2001 | Tailoring and Verifying Software Process. Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae |
| 2001 | The Canonical Functional Design Based on the Domination-Relationship among Data. Sukhamay Kundu |
| 2001 | The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon |
| 2001 | The Steam Boiler in a Unified Theory of Z and CSP. Jim Woodcock, Ana Cavalcanti |
| 2001 | Trading-Assisting Service Discovery Architecture. Twittie Senivongse, Worawut Suphasanthitikul |
| 2001 | Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. Didar Zowghi, Vincenzo Gervasi, Andrew McRae |
| 2001 | Using TCOZ for Modeling Web Caching. Henry Novianus Palit |
| 2001 | XML Rule Based Source Code Generator for UML CASE Tool. Dong Hyuk Park, Soo Dong Kim |
| 2001 | Z User Studio: An Integrated Support Tool for Z Specifications. Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li |