Table of Contents

• Program Chairs Message [doi]
• Steering Committee [doi]
• Program Committee [doi]
• Conference Chairs Message [doi]
• Goal-Oriented Requirements EngineeringJohn Mylopoulos. 3 [doi]
• The Essential Components of Software Architecture Design and AnalysisRick Kazman. 4 [doi]
• Vision, Strategy, and Practice of Software Research & Development in IndustrySanya Uehara. 5 [doi]
• AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity DiagramsRobert Chandler, Chiou Peng Lam, Huaizhong Li. 9-16 [doi]
• Systematic Use Case Interviews for Specification of Automotive SystemsShariful Islam, Hannes Omasreiter. 17-24 [doi]
• Enhancement of a Use Cases based Requirements Engineering approach with ScenariosStéphane S. Somé. 25-32 [doi]
• Accommodating Software Development CollaborationLei Wu, Houari A. Sahraoui. 33-42 [doi]
• A Temporal Logic for Input Output Symbolic Transition SystemsMarc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil. 43-50 [doi]
• Model Checking Interrupt-Dependent SoftwareColin J. Fidge, Phil Cook. 51-58 [doi]
• A Lightweight Integration of Theorem Proving and Model Checking for System VerificationWeiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata. 59-66 [doi]
• Model Checking Class Specifications forWeb ApplicationsEun-Hye Choi, Hiroshi Watanabe. 67-78 [doi]
• Model-Driven Semantic Web Service CompositionRoy Grønmo, Michael C. Jaeger. 79-86 [doi]
• Client Profiling for QoS-Based Web Service RecommendationNiko Thio, Shanika Karunasekera. 87-94 [doi]
• A Framework for Application Server Based Web Services ManagementHeqing Guan, Beihong Jin, Jun Wei, Wei Xu, Ningjiang Chen. 95-102 [doi]
• On Simulation of BPEL4WS/UML DescriptionsSatoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii. 103-112 [doi]
• Integrating an Idea Generation Method into a Goal-Oriented Analysis Method for Requirements ElicitationKazuya Oshiro, Kenji Watahiki, Motoshi Saeki. 113-121 [doi]
• An Incremental Analysis to Workflow SpecificationsHwai-Jong Hsu, Feng-Jian Wang, Da-Li Yang. 122-129 [doi]
• Role and Owner based Business Domain AnalysisTakako Nakatani, Terunobu Fujino. 130-137 [doi]
• Race-free Scenarios of Message Sequence ChartsChien-An Chen, Sara Kalvala, Jane Sinclair. 138-148 [doi]
• An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-RefinementMoshe Deutsch, Martin C. Henson. 149-158 [doi]
• Analysis of the Suzuki-Kasami Algorithm with the Maude Model CheckerKazuhiro Ogata, Kokichi Futatsugi. 159-166 [doi]
• Supporting Predictive Change Impact Analysis: A Control Call Graph Based TechniqueLinda Badri, Mourad Badri, Daniel St-Yves. 167-175 [doi]
• Improvements Towards Formalizing UML State Diagrams in CSPWing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong. 176-184 [doi]
• An Approach to Ensure Service Behavior Consistency in OSGiYin Qin, Hao Hu, Li Jun, JiDong Ge, Jian Lu. 185-192 [doi]
• Agile Development of Web Application by Supporting Process Execution and Extended UML ModelWookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, Chisu Wu. 193-200 [doi]
• Feature Analysis for Service-Oriented ReengineeringFeng Chen, Shaoyun Li, William Cheng-Chung Chu. 201-208 [doi]
• Recommendation of Software Technologies Based on Collaborative FilteringTomohiro Akinaga, Naoki Ohsugi, Masateru Tsunoda, Takeshi Kakimoto, Akito Monden, Ken-ichi Matsumoto. 209-216 [doi]
• A Service-Oriented Architecture for Design and Development of MiddlewareYih-Cheng Lee, Chi-Ming Ma, Shih-Chien Chou. 217-221 [doi]
• A Loose Interaction Pattern for Asynchronous ComponentsWalter Dosch. 222-230 [doi]
• Developing Object Oriented Designs from Component and Connector ArchitecturesHyoung-iel Park, Sungwon Kang, Yoonsuk Choi, Danhyung Lee. 231-238 [doi]
• Ad Hoc System : a Software Architecture for Ubiquitous EnvironmentChih-Chung Lai, Ren-Song Ko, Chia-Kuan Yen. 239-248 [doi]
• An Industrial Case Study on Requirements Volatility MeasuresAnnabella Loconsole, Jürgen Börstler. 249-256 [doi]
• A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex NetworksYutao Ma, Keqing He, Dehui Du. 257-263 [doi]
• Metrics for Analyzing Module Interactions in Large Software SystemsSantonu Sarkar, Avinash C. Kak, N. S. Nagaraja. 264-271 [doi]
• On Traceability for Safety Critical Systems EngineeringPaul Mason. 272-282 [doi]
• A Formal Semantics of Timed Activity Diagrams and its PROMELA TranslationNicolas Guelfi, Amel Mammar. 283-290 [doi]
• Call-Ordering ConstraintsNam Tran, David Abramson, Christine Mingins. 291-298 [doi]
• A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow SystemsJinjun Chen, Yun Yang. 299-306 [doi]
• A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-methodJun Wang, Jitian Xiao, Chiou Peng Lam, Huaizhong Li. 307-316 [doi]
• Bio-ontology Construction Using Object-oriented ParadigmKyung-Ah Yang, Jae Dong Yang, Ki-Heon Kim. 317-322 [doi]
• Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class SignaturesBastian Dolle, Walter Dosch. 323-332 [doi]
• An Easy-to-Use Extension Mechanism Using XML for an Integrated Development EnvironmentTakayuki Omori, Katsuhisa Maruyama. 333-340 [doi]
• Computation of Dynamic Slices for Object-Oriented Concurrent ProgramsJaiprakash T. Lallchandani, Rajib Mall. 341-350 [doi]
• On Archiving Architecture DocumentsRambabu Duddukuri, T. V. Prabhakar. 351-358 [doi]
• Exception Handling: An Architecture Model and Utility SupportYu Chin Cheng, Jung-Sing Jwo. 359-366 [doi]
• Architectural Style - Based Modeling and Simulation of Complex Software SystemsPing Guo, Gregor Engels, Reiko Heckel. 367-374 [doi]
• An Approach to Validation of Software Architecture ModelYujian Fu, Zhijiang Dong, Xudong He. 375-384 [doi]
• Using Adaptive Agents to Automatically Generate Test Scenarios from the UML Activity DiagramsDong Xu, Huaizhong Li, Chiou Peng Lam. 385-392 [doi]
• Dealing with Non-Determinism in Testing Concurrent Java ComponentsLuke Wildman, Brad Long, Paul A. Strooper. 393-400 [doi]
• An Approach for Test Suite Selection to Validate Applications on Deployment of COTS UpgradesAnjaneyulu Pasala, Animesh Bhowmick. 401-407 [doi]
• Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements ModelsChristian Seybold, Silvio Meier. 408-420 [doi]
• Increasing the Efficiency of Fault Detection in Modified CodePiotr Tomaszewski, Lars Lundberg, Håkan Grahn. 421-430 [doi]
• Integrating Generalized Weibull-type Testing-Effort Function and Multiple Change-Points into Software Reliability Growth ModelsChu-Ti Lin, Chin-Yu Huang, Jun-Ru Chang. 431-438 [doi]
• Identifying Error Proneness in Path Strata with Genetic AlgorithmsJames R. Birt, Renate Sitte. 439-446 [doi]
• An Analysis Method with Failure Scenario Matrix for Specifying Unexpected Obstacles in Embedded SystemsToshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Yasufumi Shinyashiki, Naoyasu Ubayashi, Takako Nakatani. 447-456 [doi]
• Conformance Testing of BDI Properties in Agent-based Software SystemsMao Zheng, Vangalur S. Alagar. 457-464 [doi]
• A Tools Environment for Developing and Reasoning about OntologiesJin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun 0001. 465-472 [doi]
• User Intention Satisfaction for Agent-Based Semantic Web Services SystemsChiung-Hon Leon Lee, Alan Liu. 473-480 [doi]
• Ontology-based Active Requirements Engineering FrameworkSeok-Won Lee, Robin A. Gandhi. 481-490 [doi]
• A Systematic Method for Scoping Core Assets in Product Line EngineeringShinyoung Park, Soo Dong Kim. 491-498 [doi]
• An Extension of Problem Frame Notation for Software Product LinesHailang Zuo, Mike Mannion, David Sellier, Richard Foley. 499-505 [doi]
• Supporting Product Line Development through TraceabilityWaraporn Jirapanthong, Andrea Zisman. 506-514 [doi]
• A Repository Framework for Self-Growing Robot SoftwareHyung-Min Koo, In-Young Ko. 515-524 [doi]
• Evolutionary Testing of Unstructured Programs in the Presence of Flag ProblemsXiyang Liu, Ning Lei, Hehui Liu, Bin Wang. 525-533 [doi]
• Proposal of a Method to Support Testing for Java Programs with UMLTetsuro Katayama, Yusuke Yabuya. 533-540 [doi]
• Data Abstraction and Constraint Solving for Conformance TestingJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. 541-548 [doi]
• Describing and Verifying Integrated Services of Home Network SystemsPattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto. 549-560 [doi]
• A Passive Test Oracle Using a Component s APIRakesh Shukla, David A. Carrington, Paul A. Strooper. 561-567 [doi]
• A Dynamic Optimization Strategy for Evolutionary TestingXiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu. 568-575 [doi]
• An Integrated Solution for Testing and Analyzing Java Applications in an Industrial SettingW. Eric Wong, J. Jenny Li. 576-583 [doi]
• A Parametric Model Checking Approach for Real-Time Systems DesignChaiwat Sathawornwichit, Takuya Katayama. 584-594 [doi]
• Consistency and Interoperability Checking for Component Interaction RulesYan Jin, Jun Han. 595-602 [doi]
• An Incremental and Practical Approach to Enable the Component Run-time EvolutionChang-ai Sun. 603-610 [doi]
• Regression Testing for Component-based Software Systems by Enhancing Change InformationChengying Mao, Yansheng Lu. 611-618 [doi]
• Early Stage Software Reliability and Design AssessmentRakesh Tripathi, Rajib Mall. 619-628 [doi]
• Integrating Safety and Security Requirements into Design of an Embedded SystemSaad Zafar, R. Geoff Dromey. 629-636 [doi]
• Monitoring with Behavior View Diagrams for DebuggingDonglin Liang, Kai Xu 0002. 637-644 [doi]
• Automatic Classification of Web Pages based on the Concept of Domain OntologyMu Hee Song, Soo Yeon Lim, Dong-Jin Kang, Sang-Jo Lee. 645-651 [doi]
• ADDIE Instruction Design and Cognitive Apprenticeship for Project-based Software Engineering Education in MISShen-Tzay Huang, Yi-Pei Cho, Yu-Jen Lin. 652-662 [doi]
• Lightweight Detection of Program RefactoringsDarren C. Atkinson, Todd King. 663-670 [doi]
• Automated Refactoring of Objects for Application PartitioningVikram Jamwal, Sridhar Iyer. 671-678 [doi]
• Development of a Business Process Modeling Methodology and a Tool for Sharing Business ProcessesRieko Yamamoto, Kouji Yamamoto, Kyoko Ohashi, Junji Inomata. 679-686 [doi]
• Personal Software Process (PSP) AssistantRaymund Sison, David Diaz, Eliska Lam, Dennis Navarro, Jessica Navarro. 687-696 [doi]
• A Tool for Constructing Syntax-Directed EditorsYung-Shen Chang, Nai-Wei Lin. 697-704 [doi]
• A User Evaluation of Synchronous Collaborative Software Engineering ToolsCarl Cook, Warwick Irwin, Neville Churcher. 705-710 [doi]
• Tool Support for Invariant Based ProgrammingRalph-Johan Back, Magnus Myreen. 711-718 [doi]
• Tool Support for Statistical Testing of Software ComponentsRakesh Shukla, Paul A. Strooper, David A. Carrington. 719-728 [doi]
• Microcomponent-Based Component Controllers: A Foundation for Component AspectsVladimir Mencl, Tomás Bures. 729-737 [doi]
• AECM: an Aspect Enabled Component ModelSaeed Jalili, Somayeh Malakuti, Khah Olun Abadi. 738-743 [doi]
• Aspect-Oriented Modularization of Assertion Crosscutting ObjectsTakashi Ishio, Shinji Kusumoto, Katsuro Inoue, Toshihiro Kamiya. 744-751 [doi]
• Improving Agile Software Development using eXtreme AOCE and Aspect-Oriented CVSSantokh Singh, Hsiao-Cheng Chen, Oliver Hunter, John C. Grundy, John G. Hosking. 752-762 [doi]
• Towards Aspect-Oriented Class DiagramsGefei Zhang. 763-768 [doi]
• Providing Quality Measurement for Aspect-Oriented Software DevelopmentMohamad Kassab, Olga Ormandjieva, Constantinos Constantinides. 769-775 [doi]
• A Survey on Early Separation of ConcernsSafoora Shakil Khan, Muhammad Jaffar-Ur Rehman. 776-782 [doi]
• Using Dynamic Aspects for Delegating Fine-Grained Access RightsKung Chen. 783-789 [doi]
• Bugdel: An Aspect-Oriented Debugging SystemYoshiyuki Usui, Shigeru Chiba. 790-795 [doi]
• Aspect Refinement and Bounding Quantification in Incremental DesignsSven Apel, Thomas Leich, Gunter Saake. 796-804 [doi]
• Dimensions and Forms of Knowledge Collaboration in Software DevelopmentYunwen Ye. 805-812 [doi]
• Please STeP_IN: A Socio-Technical Platform for in situ NetworkingYoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yamamoto, Yunwen Ye. 813-820 [doi]
• CoxR: Open Source Development History Search SystemMakoto Matsushita, Kei Sasaki, Katsuro Inoue. 821-826 [doi]
• Understanding the Nature of Collaboration in Open-Source Software DevelopmentKumiyo Nakakoji, Kazuaki Yamada, Elisa Giaccardi. 827-834 [doi]
• Supporting Knowledge Collaboration Using Social Networks in a Large-Scale Online Community of Software Development ProjectsMasao Ohira, Tetsuya Ohoka, Takeshi Kakimoto, Naoki Ohsugi, Ken-ichi Matsumoto. 835-840 [doi]