8. APSEC 2001: Macau, China

@proceedings{DBLP:conf/apsec/2001,
  title     = {8th Asia-Pacific Software Engineering Conference (APSEC 2001),
               4-7 December 2001, Macau, China},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1408-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote I

• Huimin Lin:
  Model Checking Value-Passing Processes. 3-
  

Formal Methods I

• Henry Novianus Palit:
  Using TCOZ for Modeling Web Caching. 13-
  

Tools and Environments

• Hugh Anderson:
  Formalization and 'Literate' Programming. 39-44
  
• Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng:
  A Run-Time Deadlock Detector for Concurrent Java Programs. 45-52
  
• Dong Hyuk Park, Soo Dong Kim:
  XML Rule Based Source Code Generator for UML CASE Tool. 53-
  

Reactive and Real-Time Embedded Systems

• Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla:
  Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. 63-70
  
• Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen:
  Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. 71-78
  
• Jong Kook Lee, Seung Jae Seung, Soo Dong Kim, Woo Hyun, Dong Han Han:
  Component Identification Method with Coupling and Cohesion. 79-
  

System Modeling and Design Methodology

• Sukhamay Kundu:
  The Canonical Functional Design Based on the Domination-Relationship among Data. 89-96
  
• James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora:
  Aspect-Oriented Implementation of Software Health Indicators. 97-104
  
• Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
  Specification of Distributed Systems with a Combination of Graphica and Formal Languages. 105-
  

Software Architecture and Framework

• Tomoji Kishi, Natsuko Noda, Takuya Katayama:
  Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. 111-118
  
• Manas Ranjan Patra, Hrushikesha Mohanty:
  A Formal Framework to Build Software Agents. 119-126
  
• Twittie Senivongse, Worawut Suphasanthitikul:
  Trading-Assisting Service Discovery Architecture. 127-
  

Requirements Engineering

• Didar Zowghi, Vincenzo Gervasi, Andrew McRae:
  Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. 133-
  
• Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai:
  A Model for Navigating Interview Processes in Requirements Elicitation. 141-148
  
• Daniela E. Damian:
  An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective? 149-
  

Keynote II

• R. Venkatesh, Purandar Bhaduri, Mathai Joseph:
  Formalizing Models and Meta-models for System Development. 155-
  

Formal Methods II

• Jordan Dimitrov:
  Operational Semantics for Verilog. 161-168
  
• Christine Choppy, Pascal Poizat, Jean-Claude Royer:
  Formal Specification of Mixed Components with Korrigan. 169-176
  
• Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
  Deriving Operational Semantics from Denotational Semantics for Verilog. 177-
  

Software Management and Planning

• Frank Padberg:
  Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff. 187-194
  
• Nahomi Kikuchi, Tohru Kikuno:
  Improving the Testing Process by Program Static Analysis. 195-201
  
• Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae:
  Tailoring and Verifying Software Process. 202-
  

Software Testing Techniques

• Vangalur S. Alagar, Mao Zheng:
  A Rigorous Method for Testing Real-Time Reactive Systems. 213-220
  
• Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon:
  The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. 221-228
  
• Hoijin Yoon, Byoungju Choi:
  An Effective Testing Technique for Component Composition in EJBs. 229-236
  
• Jinhui Shan, Ji Wang, Zhichang Qi:
  On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. 237-
  

Object-Oriented Analysis and Design

• Shui Ming Ho, Kung-Kiu Lau:
  On the Implementation of Catalysis Frameworks in COM. 243-250
  
• Takako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai:
  A Requirements Description Metamodel for Use Cases. 251-258
  
• Xiaoshan Li, Zhiming Liu, Zhensheng Guo:
  Formal Object-Oriented Analysis and Design of an Online Ticketing System. 259-
  
• Philippe Chevalley:
  Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach. 267-
  

Software Maintenance

• Fumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue:
  A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information. 273-280
  
• Christos Tjortjis, Paul J. Layzell:
  Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach. 281-
  

Formal Methods III

• Jim Woodcock, Ana Cavalcanti:
  The Steam Boiler in a Unified Theory of Z and CSP. 291-298
  
• Gwen Salaün, Michel Allemand, Christian Attiogbé:
  Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. 299-
  

Keynote III

• Jayadev Misra, Harrick M. Vin:
  Orchestrating Computations on the World-Wide Web. 305-
  

Formal Methods IV

• Shengchao Qin, Jifeng He:
  Partitioning Program into Hardware and Software. 309-316
  
• Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli:
  A Probabilistic Approach to Automatic Verification of Concurrent Systems. 317-324
  
• Van Dung Tran, Jifeng He:
  A Theory of Combinational Programs. 325-
  

Software Architecture and Framework

• Jaejoon Lee, Sucheol Ha, Kyo Chul Kang, Youngyeol Choo, Yoonpyo Hong, Hwawon Hwang:
  Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems. 335-340
  
• Allen H. Dutoit, Oliver Creighton, Gudrun Klinker, Rafael Kobylinski, Christoph Vilsmeier, Bernd Brügge:
  Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study. 341-344
  
• Satoru Uehara, Osamu Mizuno, Tohru Kikuno:
  Development of Session Management Mechanism for Cellular Phone with WWW Connection. 345-
  

Keynote IV

• Carroll Morgan, Annabelle McIver:
  Cost Analysis of Games, Using Program Logic. 351-
  

Formal Methods V

• Colin J. Fidge:
  Compilation of Specifications. 355-362
  
• Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi:
  Model Checking UML Statecharts. 363-370
  
• Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan:
  Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. 371-
  

Reengineering and Reverse Engineering

• Somsak Phattarsukol, Pornsiri Muenchaisri:
  Identifying Candidate Objects Using Hierarchical Clustering Analysis. 381-389
  
• Ying Zou, Kostas Kontogiannis:
  A Framework for Migrating Procedural Code to Object-Oriented Platforms. 390-499
  
• Byungjeong Lee, Chisu Wu:
  An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented Designs. 400-
  

Component-Based Design Techniques/Empirical Studies

• Naixiao Zhang, Ying Liu:
  A Component-Based Framework and Reusability in Garment. 411-418
  
• Eun Sook Cho, Min Sun Kim, Soo Dong Kim:
  Component Metrics to Measure Component Quality. 419-426
  
• Allen H. Dutoit, Joyce Johnstone, Bernd Brügge:
  Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project. 427-430
  
• Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon:
  Framework for Third Party Testing of Component Software. 431-
  

Formal Methods VI

• Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li:
  Z User Studio: An Integrated Support Tool for Z Specifications. 437-444
  
• Geoff Kassel, Graeme Smith:
  Model Checking Object-Z Classes: Some Experiments with FDR. 445-452
  
• Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang:
  An XML/XSL Approach to Visualize and Animate TCOZ. 453-460