default search action
12th APSEC 2005: Taipei, Taiwan
- 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan. IEEE Computer Society 2005, ISBN 0-7695-2465-6
Introduction
- Conference Chairs' Message.
- Program Chairs' Message.
- Steering Committee.
- Program Committee.
Keynote Addresses
- John Mylopoulos:
Goal-Oriented Requirements Engineering. 3 - Rick Kazman:
The Essential Components of Software Architecture Design and Analysis. 4 - Sanya Uehara:
Vision, Strategy, and Practice of Software Research & Development in Industry. 5
Session 1A: Requirements Engineering I
- Robert Chandler
, Chiou Peng Lam, Huaizhong Li:
AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams. 9-16 - Shariful Islam, Hannes Omasreiter:
Systematic Use Case Interviews for Specification of Automotive Systems. 17-24 - Stéphane S. Somé:
Enhancement of a Use Cases based Requirements Engineering approach with Scenarios. 25-32 - Lei Wu, Houari A. Sahraoui:
Accommodating Software Development Collaboration. 33-42
Session 1B: Software Formal Methods I
- Marc Aiguier, Pascale Le Gall
A Temporal Logic for Input Output Symbolic Transition Systems. 43-50 - Colin J. Fidge
Model Checking Interrupt-Dependent Software. 51-58 - Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata:
A Lightweight Integration of Theorem Proving and Model Checking for System Verification. 59-66 - Eun-Hye Choi, Hiroshi Watanabe:
Model Checking Class Specifications forWeb Applications. 67-78
Session 1C: Service-Oriented Computing I
- Roy Grønmo, Michael C. Jaeger:
Model-Driven Semantic Web Service Composition. 79-86 - Niko Thio, Shanika Karunasekera:
Client Profiling for QoS-Based Web Service Recommendation. 87-94 - Heqing Guan, Beihong Jin, Jun Wei, Wei Xu, Ningjiang Chen:
A Framework for Application Server Based Web Services Management. 95-102 - Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii:
On Simulation of BPEL4WS/UML Descriptions. 103-112
Session 2A: Requirements Engineering II
- Kazuya Oshiro, Kenji Watahiki, Motoshi Saeki:
Integrating an Idea Generation Method into a Goal-Oriented Analysis Method for Requirements Elicitation. 113-121 - Hwai-Jong Hsu, Feng-Jian Wang, Da-Li Yang:
An Incremental Analysis to Workflow Specifications. 122-129 - Takako Nakatani, Terunobu Fujino:
Role and Owner based Business Domain Analysis. 130-137 - Chien-An Chen, Sara Kalvala, Jane E. Sinclair:
Race-free Scenarios of Message Sequence Charts. 138-148
Session 2B: Software Formal Methods II
- Moshe Deutsch, Martin C. Henson:
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. 149-158 - Kazuhiro Ogata, Kokichi Futatsugi:
Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. 159-166 - Linda Badri, Mourad Badri, Daniel St-Yves:
Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. 167-175 - Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Improvements Towards Formalizing UML State Diagrams in CSP. 176-184
Session 2C: Service-Oriented Computing II
- Qin Yin, Hao Hu, Jun Li, JiDong Ge, Jian Lu:
An Approach to Ensure Service Behavior Consistency in OSGi. 185-192 - Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu:
Agile Development of Web Application by Supporting Process Execution and Extended UML Model. 193-200 - Feng Chen, Shaoyun Li, William Cheng-Chung Chu:
Feature Analysis for Service-Oriented Reengineering. 201-208 - Tomohiro Akinaga, Naoki Ohsugi, Masateru Tsunoda, Takeshi Kakimoto, Akito Monden
Recommendation of Software Technologies Based on Collaborative Filtering. 209-216
Session 2D: Software Architecture I
- Yih-Cheng Lee, Chi-Ming Ma, Shih-Chien Chou:
A Service-Oriented Architecture for Design and Development of Middleware. 217-221 - Walter Dosch:
A Loose Interaction Pattern for Asynchronous Components. 222-230 - Hyoung-iel Park, Sungwon Kang, Yoonsuk Choi, Danhyung Lee:
Developing Object Oriented Designs from Component and Connector Architectures. 231-238 - Chih-Chung Lai, Ren-Song Ko, Chia-Kuan Yen:
Ad Hoc System : a Software Architecture for Ubiquitous Environment. 239-248
Session 3A: Software Measurement
- Annabella Loconsole, Jürgen Börstler
An Industrial Case Study on Requirements Volatility Measures. 249-256 - Yutao Ma
A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. 257-263 - Santonu Sarkar
Metrics for Analyzing Module Interactions in Large Software Systems. 264-271 - Paul Mason:
On Traceability for Safety Critical Systems Engineering. 272-282
Session 3B: Software Formal Methods III
- Nicolas Guelfi, Amel Mammar:
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. 283-290 - Nam Tran II, David Abramson
Call-Ordering Constraints. 291-298 - Jinjun Chen, Yun Yang:
A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. 299-306 - Jun Wang, Jitian Xiao, Chiou Peng Lam, Huaizhong Li:
A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-method. 307-316
Session 3C: Object-Oriented Technology
- Kyung-Ah Yang, Jae Dong Yang, Ki-Heon Kim:
Bio-ontology Construction Using Object-oriented Paradigm. 317-322 - Bastian Dölle, Walter Dosch:
Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. 323-332 - Takayuki Omori, Katsuhisa Maruyama:
An Easy-to-Use Extension Mechanism Using XML for an Integrated Development Environment. 333-340 - Jaiprakash T. Lallchandani, Rajib Mall:
Computation of Dynamic Slices for Object-Oriented Concurrent Programs. 341-350
Session 3D: Software Architecture II
- Rambabu Duddukuri, T. V. Prabhakar:
On Archiving Architecture Documents. 351-358 - Yu Chin Cheng, Jung-Sing Jwo
Exception Handling: An Architecture Model and Utility Support. 359-366 - Ping Guo, Gregor Engels, Reiko Heckel:
Architectural Style - Based Modeling and Simulation of Complex Software Systems. 367-374 - Yujian Fu, Zhijiang Dong, Xudong He:
An Approach to Validation of Software Architecture Model. 375-384
Session 4A: Verification and Validation I
- Dong Xu, Huaizhong Li, Chiou Peng Lam:
Using Adaptive Agents to Automatically Generate Test Scenarios from the UML Activity Diagrams. 385-392 - Luke Wildman, Brad Long
Dealing with Non-Determinism in Testing Concurrent Java Components. 393-400 - Anjaneyulu Pasala
An Approach for Test Suite Selection to Validate Applications on Deployment of COTS Upgrades. 401-407 - Christian Seybold, Silvio Meier:
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models. 408-420
Session 4B: Quality Management I
- Piotr Tomaszewski
Increasing the Efficiency of Fault Detection in Modified Code. 421-430 - Chu-Ti Lin, Chin-Yu Huang, Jun-Ru Chang:
Integrating Generalized Weibull-type Testing-Effort Function and Multiple Change-Points into Software Reliability Growth Models. 431-438 - James R. Birt
Identifying Error Proneness in Path Strata with Genetic Algorithms. 439-446 - Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Yasufumi Shinyashiki, Naoyasu Ubayashi
An Analysis Method with Failure Scenario Matrix for Specifying Unexpected Obstacles in Embedded Systems. 447-456
Session 4C: Agent-Based Software Engineering
- Mao Zheng, Vangalur S. Alagar:
Conformance Testing of BDI Properties in Agent-based Software Systems. 457-464 - Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
A Tools Environment for Developing and Reasoning about Ontologies. 465-472 - Chiung-Hon Leon Lee, Alan Liu
User Intention Satisfaction for Agent-Based Semantic Web Services Systems. 473-480 - Seok Won Lee, Robin A. Gandhi:
Ontology-based Active Requirements Engineering Framework. 481-490
Session 4D: Product Line Engineering / Software Development and Practice I
- Shinyoung Park, Soo Dong Kim:
A Systematic Method for Scoping Core Assets in Product Line Engineering. 491-498 - Hailang Zuo, Mike Mannion
An Extension of Problem Frame Notation for Software Product Lines. 499-505 - Waraporn Jirapanthong, Andrea Zisman:
Supporting Product Line Development through Traceability. 506-514 - Hyung-Min Koo, In-Young Ko:
A Repository Framework for Self-Growing Robot Software. 515-524
Session 5A: Verification and Validation II
- Xiyang Liu, Ning Lei, Hehui Liu, Bin Wang
Evolutionary Testing of Unstructured Programs in the Presence of Flag Problems. 525-533 - Tetsuro Katayama, Yusuke Yabuya:
Proposal of a Method to Support Testing for Java Programs with UML. 533-540 - Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova:
Data Abstraction and Constraint Solving for Conformance Testing. 541-548 - Pattara Leelaprute, Tatsuhiro Tsuchiya
Describing and Verifying Integrated Services of Home Network Systems. 549-560
Session 5B: Quality Management II
- Rakesh Shukla, David A. Carrington, Paul A. Strooper
A Passive Test Oracle Using a Component's API. 561-567 - Xiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu
A Dynamic Optimization Strategy for Evolutionary Testing. 568-575 - W. Eric Wong, J. Jenny Li:
An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting. 576-583 - Chaiwat Sathawornwichit, Takuya Katayama:
A Parametric Model Checking Approach for Real-Time Systems Design. 584-594
Session 5C: Component-Based Software Engineering
- Yan Jin, Jun Han:
Consistency and Interoperability Checking for Component Interaction Rules. 595-602 - Chang-Ai Sun:
An Incremental and Practical Approach to Enable the Component Run-time Evolution. 603-610 - Chengying Mao
Regression Testing for Component-based Software Systems by Enhancing Change Information. 611-618 - Rakesh Tripathi, Rajib Mall:
Early Stage Software Reliability and Design Assessment. 619-628
Session 5D: Software Development and Practice II
- Saad Zafar
Integrating Safety and Security Requirements into Design of an Embedded System. 629-636 - Donglin Liang, Kai Xu:
Monitoring with Behavior View Diagrams for Debugging. 637-644 - Mu Hee Song, Soo Yeon Lim, Dong-Jin Kang, Sang-Jo Lee:
Automatic Classification of Web Pages based on the Concept of Domain Ontology. 645-651 - Shen-Tzay Huang, Yi-Pei Cho, Yu-Jen Lin:
ADDIE Instruction Design and Cognitive Apprenticeship for Project-based Software Engineering Education in MIS. 652-662
Session 6A: Software Refactoring / Software Process Improvement
- Darren C. Atkinson, Todd King:
Lightweight Detection of Program Refactorings. 663-670 - Vikram Jamwal, Sridhar Iyer:
Automated Refactoring of Objects for Application Partitioning. 671-678 - Rieko Yamamoto, Kouji Yamamoto, Kyoko Ohashi, Junji Inomata:
Development of a Business Process Modeling Methodology and a Tool for Sharing Business Processes. 679-686 - Raymund Sison, David Diaz, Eliska Lam, Dennis Navarro, Jessica Navarro:
Personal Software Process (PSP) Assistant. 687-696
Session 6B: Tools Support for Software Engineering
- Yung-Shen Chang, Nai-Wei Lin:
A Tool for Constructing Syntax-Directed Editors. 697-704 - Carl Cook, Warwick Irwin, Neville Churcher:
A User Evaluation of Synchronous Collaborative Software Engineering Tools. 705-710 - Ralph-Johan Back, Magnus Myreen:
Tool Support for Invariant Based Programming. 711-718 - Rakesh Shukla, Paul A. Strooper
Tool Support for Statistical Testing of Software Components. 719-728
Session 6C: Aspect-Oriented Software Technology
- Vladimir Mencl
Microcomponent-Based Component Controllers: A Foundation for Component Aspects. 729-737 - Saeed Jalili
AECM: an Aspect Enabled Component Model. 738-743 - Takashi Ishio
Aspect-Oriented Modularization of Assertion Crosscutting Objects. 744-751 - Santokh Singh, Hsiao-Cheng Chen, Oliver Hunter, John C. Grundy
Improving Agile Software Development using eXtreme AOCE and Aspect-Oriented CVS. 752-762
Workshop 1: First Asian Workshop on AOSD
- Gefei Zhang:
Towards Aspect-Oriented Class Diagrams. 763-768 - Mohamad Kassab
Providing Quality Measurement for Aspect-Oriented Software Development. 769-775 - Safoora Shakil Khan, Muhammad Jaffar-Ur Rehman:
A Survey on Early Separation of Concerns. 776-782 - Kung Chen
Using Dynamic Aspects for Delegating Fine-Grained Access Rights. 783-789 - Yoshiyuki Usui, Shigeru Chiba:
Bugdel: An Aspect-Oriented Debugging System. 790-795 - Sven Apel
Aspect Refinement and Bounding Quantification in Incremental Designs. 796-804
Workshop 2: Supporting Knowledge Collaboration in Software Development Workshop
- Yunwen Ye:
Dimensions and Forms of Knowledge Collaboration in Software Development. 805-812 - Yoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yamamoto, Yunwen Ye:
Please STeP_IN: A Socio-Technical Platform for in situ Networking. 813-820 - Makoto Matsushita, Kei Sasaki, Katsuro Inoue:
CoxR: Open Source Development History Search System. 821-826 - Kumiyo Nakakoji, Kazuaki Yamada, Elisa Giaccardi
Understanding the Nature of Collaboration in Open-Source Software Development. 827-834 - Masao Ohira, Tetsuya Ohoka, Takeshi Kakimoto, Naoki Ohsugi, Ken-ichi Matsumoto:
Supporting Knowledge Collaboration Using Social Networks in a Large-Scale Online Community of Software Development Projects. 835-840
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-16 22:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: