The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2006)
Bangalore, India
Dec. 6, 2006 to Dec. 8, 2006
ISSN: 1530-1362
ISBN: 0-7695-2685-3
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. xiv
SESSION 1A: COMPONENT BASED SOFTWARE ENGINEERING

Secrobat: Secure and Robust Component-based Architectures (Abstract)

Artem Vorobiev , Swinburne University of Technology, Melbourne, Australia
Jun Han , Swinburne University of Technology, Melbourne, Australia
pp. 3-10

A precise estimation technique for test coverage of components in object-oriented frameworks (Abstract)

Kazutoshi Yokoyama , NTT Data Corporation
Yuji Sakata , NTT Data Corporation
Yoshiaki Fukazawa , Waseda University
Hironori Washizaki , National Institute of Infomatics
pp. 11-18

An Approach Based on Modeling Dynamic Behavior of the System to Assess the Impact of COTS Upgrades (Abstract)

Srinivasa Rao , Reliable Care Solutions, Philips Research - India
Purnendu Sinha , Reliable Care Solutions, Philips Research - India
Anjaneyulu Pasala , Reliable Care Solutions, Philips Research - India
Srinivas Gunturu , Reliable Care Solutions, Philips Research - India
pp. 19-26

Component composition through architectural patterns for problem frames (Abstract)

Christine Choppy , Universite Paris XIII, France, email: Christine.Choppy@lipn.univ-paris13.fr
Maritta Heisel , ITESYS Institut fur technische Systeme GmbH, Germany, email: d.hatebur@itesys.de
Denis Hatebur , Universitat Duisburg, Germany
pp. 27-36
SESSION 4A: COMPONENT BASED SOFTWARE ENGINEERING

Component-based Development of MILLS: A Case Study in the development of an Inter-library Loan Software System (Abstract)

Danny C. C. Poo , National University of Singapore
Naresh Kumar Agarwal , National University of Singapore
Teo Keng Yong , National University of Singapore
pp. 37-44

Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems (Abstract)

Mikio Aoyama , Nanzan University, Japan
Masahide Nakamura , Nara Institute of Science and Technology, Japan
Ken-ichi Matsumoto , Nara Institute of Science and Technology, Japan
Hiroshi Igaki , Nanzan University, Japan
pp. 45-52

Efficient Component Based Software Engineering using the TCEM Methodology and the TCET Tool (Abstract)

Cheung Ling Kelly Yu , University of Auckland, Auckland, New Zealand
Santokh Singh , University of Auckland, Private Bag 92019, Auckland, New Zealand
pp. 53-60

Toward a Code Search Engine Based on the State-of-Art and Practice (Abstract)

Alexandre C. Martins , Federal University of Pernambuco, Brazil
Daniel Lucr?dio , Sao Paulo University, Brazil
Vinicius C. Garcia , Federal University of Pernambuco, Brazil
Silvio R. L. Meira , Federal University of Pernambuco, Brazil
Liana B. Lisboa , Federal University of Pernambuco, Brazil
Renata P. de M. Fortes , Sao Paulo University, Brazil
Eduardo S. de Almeida , Federal University of Pernambuco, Brazil
pp. 61-70
SESSION 7A: COMPONENT BASED SOFTWARE ENGINEERING

Security-Oriented Service Composition and Evolution (Abstract)

Jun Han , Swinburne University of Technology, Melbourne, Australia
Khaled M. Khan , Qatar University
pp. 71-78

A Coupling-based Complexity Metric for Remote Component-based Software Systems Toward Maintainability Estimation (Abstract)

Hironori Washizaki , National Institute of Informatics, Tokyo, Japan
Yuhki Saito , Waseda University
Tomoki Nakagawa , Waseda University
Yoshiaki Fukazawa , Waseda University
pp. 79-86

A Formal Framework for Component Pr otocols Behavioural Compatibility (Abstract)

Nabil Hameurlain , LIUPPA Laboratory, University of Pau, France
pp. 87-94

A Portable Interceptor Mechanism on SOAP for Continuous Audit (Abstract)

William Cheng-Chung Chu , Tunghai University
Fengyi Lin , Chihlee Inst. of Tech.
Chien-Cheng Lin , National Taiwan Ocean University
Chen-Liang Fang , Jin-Wen Inst. of Tech.
Deron Liang , National Taiwan Ocean University
pp. 95-104
SESSION 2A: REQUIREMENTS ENGINEERING

A Practical Estimation Method for Complex RE (Abstract)

Bhavani Palyagar , Macquarie University
Frank Moisiadis , Macquarie University
pp. 105-112

Software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation (Abstract)

Pizzanu Kanongchaiyos , Chulalongkorn University
Akadej Udomchaiporn , King Mongkut?s Institute of Technology Ladkrabang
Nakornthip Prompoon , Chulalongkorn University
pp. 113-120

Goal Oriented Requirement Engineering: A Critical Study of Techniques (Abstract)

Shahzad Anwer , CSSE, Muhammad Ali Jinnah University, Islamabad, Pakistan
Naveed Ikram , CSSE, Muhammad Ali Jinnah University, Islamabad, Pakistan
pp. 121-130
SESSION 3A: SERVICE ORIENTED ARCHITECTURE

Integrating Stateful Services in Workflow (Abstract)

Zakir Laliwala , Dhirubhai Ambani-Institute of Information and Communication Technology, India
Prateek Jain , Dhirubhai Ambani-Institute of Information and Communication Technology, India
Vikram Sorathia , Dhirubhai Ambani-Institute of Information and Communication Technology, India
Sanjay Chaudhary , Dhirubhai Ambani-Institute of Information and Communication Technology, India
pp. 131-138

Value-Based Dynamic Composition of Web Services (Abstract)

Mikio Aoyama , Nanzan University
Kazuto Nakamura , Nanzan University
pp. 139-146

A Comparative Study of Interface Design Approaches for Service-Oriented Software (Abstract)

Wan M.N. Wan Kadir , Universiti Teknologi Malaysia
Hui Ming Teo , Universiti Teknologi Malaysia
pp. 147-156
SESSION 4B: SOFTWARE ARCHITECTURE

Using Operational Architecture to Model Embedded Software (Abstract)

Doo-Hwan Bae , KAIST, Korea
Sang-Uk Jeon , KAIST, Korea
Jang-Eui Hong , Chungbuk National Univ., Korea
pp. 157-164

A Method for Detecting and Measuring Architectural Layering Violations in Source Code (Abstract)

Shubha R , Infosys Technologies Ltd., Bangalore, India.
Girish Maskeri Rama , Infosys Technologies Ltd., Bangalore, India.
Santonu Sarkar , Infosys Technologies Ltd., Bangalore, India.
pp. 165-172

Towards a Model-driven Approach to Develop Applications based on Physical Active Objects (Abstract)

Roberto Fraccapani , Dipartimento di Elettronica e Informazione Politecnico di Milano, Italy
Luciano Baresi , Dipartimento di Elettronica e Informazione Politecnico di Milano, Italy
Filippo Pacifici , Dipartimento di Elettronica e Informazione Politecnico di Milano, Italy
Paolo Beretta , Dipartimento di Elettronica e Informazione Politecnico di Milano, Italy
Carlo Ghezzi , Dipartimento di Elettronica e Informazione Politecnico di Milano, Italy
pp. 173-182
SESSION 3B: FORMALMETHODS

Constructing Behavioral State Machine using Interface Protocol Specification (Abstract)

Osamu Shigo , Tokyo Denki University
Daiki Kato , se.sie.dendai.ac.jp
Atsushi Okawa , se.sie.dendai.ac.jp
pp. 191-198

Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications (Abstract)

Rajeev Kumar , Indian Institute of Technology, Kharagpur
Dipankar Das , Indian Institute of Technology, Kharagpur
P. P. Chakrabarti , Indian Institute of Technology, Kharagpur
pp. 199-208
SESSION 1B: OBJECT-ORIENTED TECHNOLOGY

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL (Abstract)

Ling Yuan , National University of Singapore
Jin Song Dong , National University of Singapore
Jing Sun , University of Auckland
pp. 209-216

A Pattern based Model Evolution Approach (Abstract)

Soon-Kyeong Kim , University of Queensland, St Lucia, Australia
David Carrington , University of Queensland, St Lucia, Australia
pp. 217-224

Safety Analysis for Dynamic Update of Object Oriented Programs (Abstract)

Umesh Bellur , Indian Institute of Technology Bombay, Mumbai - 400076, India
Rushikesh K. Joshi , Indian Institute of Technology Bombay, Mumbai - 400076, India
Yogesh Murarka , Indian Institute of Technology Bombay, Mumbai - 400076, India
pp. 225-232

Strengthening Method Contracts for Objects (Abstract)

Atul Gupta , Indian Institute of Technology Kanpur, India
Amit Raj , Indian Institute of Technology Kanpur, India
pp. 233-242
SESSION 5A: TESTING & PROGRAM CHECKING

Testing of Timer Function Blocks in FBD (Abstract)

Geeyong Park , Korea Atomic Energy Research Institute, Korea
Eunkyoung Jee , Korea Advanced Institute of Science and Technology
Seungjae Jeon , Korea Advanced Institute of Science and Technology
Keechoon Kwon , Korea Atomic Energy Research Institute, Korea
Hojung Bang , Korea Advanced Institute of Science and Technology
Sungdeok Cha , Korea Advanced Institute of Science and Technology
Junbeom Yoo , Samsung Electronics Co., Ltd., Korea
pp. 243-250

Interaction Testing in Model-Based Development: Effect on Model-Coverage (Abstract)

Renee C. Bryce , Univ. of Nevada - Las Vegas
Ajitha Rajan , University of Minnesota
Mats P.E. Heimdahl , University of Minnesota
pp. 259-268
SESSION 6A: TESTING & QUALITY MGMT

Detecting Duplications in Sequence Diagrams Based on Suffix Trees (Abstract)

Lu Zhang , Peking University, Beijing 100871, China
Hui Liu , Peking University, Beijing 100871, China
Zhiyi Ma , Peking University, Beijing 100871, China
Weizhong Shao , Peking University, Beijing 100871, China
pp. 269-276

Towards Interactive Fault Localization Using Test Information (Abstract)

Lu Zhang , Peking University
Jiasu Sun , Peking University
Dan Hao , Peking University
Hong Mei , Peking University
pp. 277-284

A framework for software product engineering (Abstract)

N. Swaminathan , Business Systems and Cybernetics Centre, Tata Consultancy Services
Kesav Nori , Business Systems and Cybernetics Centre, Tata Consultancy Services
pp. 285-292
SESSION 1C: MAINTENANCE/REVERSE ENGG.

An Empirical Study of Factors and their Relationships in Outsourced Software Maintenance (Abstract)

Arun K. Misra , National Institute of Technology Allahabad
Williams K. , Tata Consultancy Services, New Delhi
Gautam Shroff , Tata Consultancy Services, New Delhi
Pankaj Bhatt , Tata Consultancy Services, New Delhi
pp. 301-308

An Accurate and Convenient Undo Mechanism for Refactorings (Abstract)

Katsuhisa Maruyama , Ritsumeikan University, Japan
pp. 309-316

Efficient and Accurate Software Pattern Detection (Abstract)

Welf Lowe , Vaxjo University, Sweden
Niklas Pettersson , Vaxjo University, Sweden
pp. 317-326
SESSION 5B: EMPIRICAL SOFTWARE ENGINEERING

Evaluation of Source Code Updates in Software Development Based on Component Rank (Abstract)

Katsuro Inoue , Osaka University
Reishi Yokomori , Nanzan University
Masami Noro , Nanzan University
pp. 327-334

An Experience With Design by Contract (Abstract)

Judy Tantivongsathaporn , Raytheon Corporation
Daniel Stearns , California Polytechnic State University, San Diego
pp. 335-341

Usage Patterns of the Java Standard API (Abstract)

Robert Amor , University of Auckland, New Zealand
Ewan Tempero , University of Auckland, New Zealand
Homan Ma , University of Auckland, New Zealand
pp. 342-352
SESSION 6B: EMPIRICAL SOFTWARE ENGINEERING

A case study of an empirical approach to component requirements in developing a plagiarism detection tool (Abstract)

Mike Barker , Nara Institute Science and Technology
Noriko Hanakawa , Hannan University, Japan
pp. 353-360

An Approach of a Technique for Effort Estimation of Iterations in Software Projects (Abstract)

Jose Antonio Pow-Sang , Pontificia Universidad Cat?lica del Peru
Enrique Jolay-Vasquez , Carnegie Mellon University USA
pp. 367-376
SESSION 4C: SOFTWARE PROCESS IMPROVEMENT

Cycle Time Reduction (Abstract)

Nagesh Mukundarao , LogicaCMG Pvt Ltd, Bangalore.
pp. 377-384

A Process Model Design and Tool Development for Supplier Agreement Management of CMMI: Capability Level 2 (Abstract)

Chakkanart Vivatanavorasin , Chulalongkorn University, Thailand
Nakornthip Prompoon , Chulalongkorn University, Thailand
Athasit Surarerks , Chulalongkorn University, Thailand
pp. 385-392

A Theoretical Perspective on Knowledge Based Organizational Learning (Abstract)

Justus S , Kamaraj University
K. Iyakutti , Kamaraj University
K. Alagarasamy , Madurai Kamaraj Univeristy, Madurai
pp. 393-400

A Systematic Approach to Process Enactment Analysis as Input to Software Process Improvement or Tailoring (Abstract)

Ross Jeffery , National ICT Australia Ltd. and University of New South Wales, Australia
Ming Huo , National ICT Australia Ltd. and University of New South Wales, Australia
He Zhang , National ICT Australia Ltd. and University of New South Wales, Australia
pp. 401-410
SESSION 7B: PRODUCT LINE ENGG/OO

Introducing MDA in a large IT consultancy organization (Abstract)

Sreedhar Reddy , Tata Research Development and Design, India
Vinay Kulkarni , Tata Research Development and Design, India
pp. 419-426

Applying Formal Approach to Core Asset Instantiation in Product Line Engineering (Abstract)

Soo Dong Kim , Soongsil University
Suk Kyung Shin , Korea Research Foundation
Jin Sun Her , Soongsil University
pp. 427-434

A Versioning Scheme for Consistent Evolution of OO Applications (Abstract)

Umesh Bellur , K.R. School of Information Technology, I.I.T. Bombay,INDIA
Vallieswaran V , K.R. School of Information Technology, I.I.T. Bombay,INDIA
pp. 435-444
SESSION 7C: MAINTENANCE/KNOWLEDGE-BASED APPROACH

A Knowledge-based Approach for Safety Analysis Using System Interactions (Abstract)

Edmund Kazmierczak , University of Melbourne, 3010, Australia
Tariq Mahmood , University of Melbourne, 3010, Australia
pp. 445-452

Project Replayer with Email Analysis - Revealing Contexts in Software Development (Abstract)

Shinji Kawaguchi , Graduate School of Information Science, NAIST, Japan
Hajimu Iida , Graduate School of Information Science, NAIST, Japan
Noriko Hanakawa , Hannan Univ., Japan
Kimiharu Ohkura , Graduate School of Information Science, NAIST, Japan
Keita Goto , Graduate School of Information Science, NAIST, Japan
pp. 453-460

Cohesion Analysis in Linux Kernel (Abstract)

D. Janakiram , IIT Madras, Chennai, India
Vinay Kumar Reddy , IIT Madras, Chennai, India
pp. 461-466

Visualizing Clone Cohesion and Coupling (Abstract)

Zhen Ming Jiang , University of Waterloo
Richard C. Holt , University of Waterloo
Ahmed E. Hassan , University of Victoria
pp. 467-476
SESSION 2B: SE EDUCATION

Implementation and Evaluation of Teaching an Introductory Software Engineering Course Framed in Cognitive Apprenticeship (Abstract)

Yi-Pei Cho , National Pingtung University of Science and Technology, Taiwan
Shen-Tzay Huang , National Pingtung University of Science and Technology, Taiwan
Yu-Jen Lin , National Pingtung University of Science and Technology, Taiwan
pp. 477-484

Security: Bridging the Academia-Industry Gap Using a Case Study (Abstract)

Abhishek K. Mishra , Microsoft India Development Centre, India
Kirti Garg , International Institute of Information Technology, Hyderabad
Vasudeva Varma , International Institute of Information Technology, Hyderabad
K. N. Giridhar , Microsoft India Development Centre, Hyderabad
pp. 485-492
Author Index

Author Index (PDF)

pp. 493
92 ms
(Ver )