| 2005 | 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan |
| 2005 | A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-method. Jun Wang, Jitian Xiao, Chiou Peng Lam, Huaizhong Li |
| 2005 | A Dynamic Optimization Strategy for Evolutionary Testing. Xiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu |
| 2005 | A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. Nicolas Guelfi, Amel Mammar |
| 2005 | A Framework for Application Server Based Web Services Management. Heqing Guan, Beihong Jin, Jun Wei, Wei Xu, Ningjiang Chen |
| 2005 | A Lightweight Integration of Theorem Proving and Model Checking for System Verification. Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata |
| 2005 | A Loose Interaction Pattern for Asynchronous Components. Walter Dosch |
| 2005 | A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. Jinjun Chen, Yun Yang |
| 2005 | A Parametric Model Checking Approach for Real-Time Systems Design. Chaiwat Sathawornwichit, Takuya Katayama |
| 2005 | A Passive Test Oracle Using a Component's API. Rakesh Shukla, David A. Carrington, Paul A. Strooper |
| 2005 | A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. Yutao Ma, Keqing He, Dehui Du |
| 2005 | A Repository Framework for Self-Growing Robot Software. Hyung-Min Koo, In-Young Ko |
| 2005 | A Service-Oriented Architecture for Design and Development of Middleware. Yih-Cheng Lee, Chi-Ming Ma, Shih-Chien Chou |
| 2005 | A Survey on Early Separation of Concerns. Safoora Shakil Khan, Muhammad Jaffar-Ur Rehman |
| 2005 | A Systematic Method for Scoping Core Assets in Product Line Engineering. Shinyoung Park, Soo Dong Kim |
| 2005 | A Temporal Logic for Input Output Symbolic Transition Systems. Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil |
| 2005 | A Tool for Constructing Syntax-Directed Editors. Yung-Shen Chang, Nai-Wei Lin |
| 2005 | A Tools Environment for Developing and Reasoning about Ontologies. Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun |
| 2005 | A User Evaluation of Synchronous Collaborative Software Engineering Tools. Carl Cook, Warwick Irwin, Neville Churcher |
| 2005 | AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams. Robert Chandler, Chiou Peng Lam, Huaizhong Li |
| 2005 | ADDIE Instruction Design and Cognitive Apprenticeship for Project-based Software Engineering Education in MIS. Shen-Tzay Huang, Yi-Pei Cho, Yu-Jen Lin |
| 2005 | AECM: an Aspect Enabled Component Model. Saeed Jalili, Somayeh Malakuti, Khah Olun Abadi |
| 2005 | Accommodating Software Development Collaboration. Lei Wu, Houari A. Sahraoui |
| 2005 | Ad Hoc System : a Software Architecture for Ubiquitous Environment. Chih-Chung Lai, Ren-Song Ko, Chia-Kuan Yen |
| 2005 | Agile Development of Web Application by Supporting Process Execution and Extended UML Model. Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu |
| 2005 | An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. Moshe Deutsch, Martin C. Henson |
| 2005 | An Analysis Method with Failure Scenario Matrix for Specifying Unexpected Obstacles in Embedded Systems. Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Yasufumi Shinyashiki, Naoyasu Ubayashi, Takako Nakatani |
| 2005 | An Approach for Test Suite Selection to Validate Applications on Deployment of COTS Upgrades. Anjaneyulu Pasala, Animesh Bhowmick |
| 2005 | An Approach to Ensure Service Behavior Consistency in OSGi. Qin Yin, Hao Hu, Jun Li, Jidong Ge, Jian Lu |
| 2005 | An Approach to Validation of Software Architecture Model. Yujian Fu, Zhijiang Dong, Xudong He |
| 2005 | An Easy-to-Use Extension Mechanism Using XML for an Integrated Development Environment. Takayuki Omori, Katsuhisa Maruyama |
| 2005 | An Extension of Problem Frame Notation for Software Product Lines. Hailang Zuo, Mike Mannion, David Sellier, Richard Foley |
| 2005 | An Incremental Analysis to Workflow Specifications. Hwai-Jong Hsu, Feng-Jian Wang, Da-Li Yang |
| 2005 | An Incremental and Practical Approach to Enable the Component Run-time Evolution. Chang-Ai Sun |
| 2005 | An Industrial Case Study on Requirements Volatility Measures. Annabella Loconsole, Jürgen Börstler |
| 2005 | An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting. W. Eric Wong, J. Jenny Li |
| 2005 | Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | Architectural Style - Based Modeling and Simulation of Complex Software Systems. Ping Guo, Gregor Engels, Reiko Heckel |
| 2005 | Aspect Refinement and Bounding Quantification in Incremental Designs. Sven Apel, Thomas Leich, Gunter Saake |
| 2005 | Aspect-Oriented Modularization of Assertion Crosscutting Objects. Takashi Ishio, Shinji Kusumoto, Katsuro Inoue, Toshihiro Kamiya |
| 2005 | Automated Refactoring of Objects for Application Partitioning. Vikram Jamwal, Sridhar Iyer |
| 2005 | Automatic Classification of Web Pages based on the Concept of Domain Ontology. Mu Hee Song, Soo Yeon Lim, Dong-Jin Kang, Sang-Jo Lee |
| 2005 | Bio-ontology Construction Using Object-oriented Paradigm. Kyung-Ah Yang, Jae Dong Yang, Ki-Heon Kim |
| 2005 | Bugdel: An Aspect-Oriented Debugging System. Yoshiyuki Usui, Shigeru Chiba |
| 2005 | Call-Ordering Constraints. Nam Tran II, David Abramson, Christine Mingins |
| 2005 | Client Profiling for QoS-Based Web Service Recommendation. Niko Thio, Shanika Karunasekera |
| 2005 | Computation of Dynamic Slices for Object-Oriented Concurrent Programs. Jaiprakash T. Lallchandani, Rajib Mall |
| 2005 | Conference Chairs' Message. |
| 2005 | Conformance Testing of BDI Properties in Agent-based Software Systems. Mao Zheng, Vangalur S. Alagar |
| 2005 | Consistency and Interoperability Checking for Component Interaction Rules. Yan Jin, Jun Han |
| 2005 | CoxR: Open Source Development History Search System. Makoto Matsushita, Kei Sasaki, Katsuro Inoue |
| 2005 | Data Abstraction and Constraint Solving for Conformance Testing. Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
| 2005 | Dealing with Non-Determinism in Testing Concurrent Java Components. Luke Wildman, Brad Long, Paul A. Strooper |
| 2005 | Describing and Verifying Integrated Services of Home Network Systems. Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto |
| 2005 | Developing Object Oriented Designs from Component and Connector Architectures. Hyoung-iel Park, Sungwon Kang, Yoonsuk Choi, Danhyung Lee |
| 2005 | Development of a Business Process Modeling Methodology and a Tool for Sharing Business Processes. Rieko Yamamoto, Kouji Yamamoto, Kyoko Ohashi, Junji Inomata |
| 2005 | Dimensions and Forms of Knowledge Collaboration in Software Development. Yunwen Ye |
| 2005 | Early Stage Software Reliability and Design Assessment. Rakesh Tripathi, Rajib Mall |
| 2005 | Enhancement of a Use Cases based Requirements Engineering approach with Scenarios. Stéphane S. Somé |
| 2005 | Evolutionary Testing of Unstructured Programs in the Presence of Flag Problems. Xiyang Liu, Ning Lei, Hehui Liu, Bin Wang |
| 2005 | Exception Handling: An Architecture Model and Utility Support. Yu Chin Cheng, Jung-Sing Jwo |
| 2005 | Feature Analysis for Service-Oriented Reengineering. Feng Chen, Shaoyun Li, William Cheng-Chung Chu |
| 2005 | Goal-Oriented Requirements Engineering. John Mylopoulos |
| 2005 | Identifying Error Proneness in Path Strata with Genetic Algorithms. James R. Birt, Renate Sitte |
| 2005 | Improvements Towards Formalizing UML State Diagrams in CSP. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
| 2005 | Improving Agile Software Development using eXtreme AOCE and Aspect-Oriented CVS. Santokh Singh, Hsiao-Cheng Chen, Oliver Hunter, John C. Grundy, John G. Hosking |
| 2005 | Increasing the Efficiency of Fault Detection in Modified Code. Piotr Tomaszewski, Lars Lundberg, Håkan Grahn |
| 2005 | Integrating Generalized Weibull-type Testing-Effort Function and Multiple Change-Points into Software Reliability Growth Models. Chu-Ti Lin, Chin-Yu Huang, Jun-Ru Chang |
| 2005 | Integrating Safety and Security Requirements into Design of an Embedded System. Saad Zafar, R. Geoff Dromey |
| 2005 | Integrating an Idea Generation Method into a Goal-Oriented Analysis Method for Requirements Elicitation. Kazuya Oshiro, Kenji Watahiki, Motoshi Saeki |
| 2005 | Lightweight Detection of Program Refactorings. Darren C. Atkinson, Todd King |
| 2005 | Metrics for Analyzing Module Interactions in Large Software Systems. Santonu Sarkar, Avinash C. Kak, N. S. Nagaraja |
| 2005 | Microcomponent-Based Component Controllers: A Foundation for Component Aspects. Vladimir Mencl, Tomás Bures |
| 2005 | Model Checking Class Specifications forWeb Applications. Eun-Hye Choi, Hiroshi Watanabe |
| 2005 | Model Checking Interrupt-Dependent Software. Colin J. Fidge, Phil Cook |
| 2005 | Model-Driven Semantic Web Service Composition. Roy Grønmo, Michael C. Jaeger |
| 2005 | Monitoring with Behavior View Diagrams for Debugging. Donglin Liang, Kai Xu |
| 2005 | On Archiving Architecture Documents. Rambabu Duddukuri, T. V. Prabhakar |
| 2005 | On Simulation of BPEL4WS/UML Descriptions. Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii |
| 2005 | On Traceability for Safety Critical Systems Engineering. Paul Mason |
| 2005 | Ontology-based Active Requirements Engineering Framework. Seok Won Lee, Robin A. Gandhi |
| 2005 | Personal Software Process (PSP) Assistant. Raymund Sison, David Diaz, Eliska Lam, Dennis Navarro, Jessica Navarro |
| 2005 | Please STeP_IN: A Socio-Technical Platform for in situ Networking. Yoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yamamoto, Yunwen Ye |
| 2005 | Program Chairs' Message. |
| 2005 | Program Committee. |
| 2005 | Proposal of a Method to Support Testing for Java Programs with UML. Tetsuro Katayama, Yusuke Yabuya |
| 2005 | Providing Quality Measurement for Aspect-Oriented Software Development. Mohamad Kassab, Olga Ormandjieva, Constantinos Constantinides |
| 2005 | Race-free Scenarios of Message Sequence Charts. Chien-An Chen, Sara Kalvala, Jane E. Sinclair |
| 2005 | Recommendation of Software Technologies Based on Collaborative Filtering. Tomohiro Akinaga, Naoki Ohsugi, Masateru Tsunoda, Takeshi Kakimoto, Akito Monden, Ken-ichi Matsumoto |
| 2005 | Regression Testing for Component-based Software Systems by Enhancing Change Information. Chengying Mao, Yansheng Lu |
| 2005 | Role and Owner based Business Domain Analysis. Takako Nakatani, Terunobu Fujino |
| 2005 | Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models. Christian Seybold, Silvio Meier |
| 2005 | Steering Committee. |
| 2005 | Supporting Knowledge Collaboration Using Social Networks in a Large-Scale Online Community of Software Development Projects. Masao Ohira, Tetsuya Ohoka, Takeshi Kakimoto, Naoki Ohsugi, Ken-ichi Matsumoto |
| 2005 | Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. Linda Badri, Mourad Badri, Daniel St-Yves |
| 2005 | Supporting Product Line Development through Traceability. Waraporn Jirapanthong, Andrea Zisman |
| 2005 | Systematic Use Case Interviews for Specification of Automotive Systems. Shariful Islam, Hannes Omasreiter |
| 2005 | The Essential Components of Software Architecture Design and Analysis. Rick Kazman |
| 2005 | Tool Support for Invariant Based Programming. Ralph-Johan Back, Magnus Myreen |
| 2005 | Tool Support for Statistical Testing of Software Components. Rakesh Shukla, Paul A. Strooper, David A. Carrington |
| 2005 | Towards Aspect-Oriented Class Diagrams. Gefei Zhang |
| 2005 | Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. Bastian Dölle, Walter Dosch |
| 2005 | Understanding the Nature of Collaboration in Open-Source Software Development. Kumiyo Nakakoji, Kazuaki Yamada, Elisa Giaccardi |
| 2005 | User Intention Satisfaction for Agent-Based Semantic Web Services Systems. Chiung-Hon Leon Lee, Alan Liu |
| 2005 | Using Adaptive Agents to Automatically Generate Test Scenarios from the UML Activity Diagrams. Dong Xu, Huaizhong Li, Chiou Peng Lam |
| 2005 | Using Dynamic Aspects for Delegating Fine-Grained Access Rights. Kung Chen |
| 2005 | Vision, Strategy, and Practice of Software Research & Development in Industry. Sanya Uehara |