Table of Contents

• Do we really have provable Best Practices that ensure Software Quality?J. Barrie Thompson. 3 [doi]
• Distributed Software Engineering: a Rigorous Architectural ApproachJeff Kramer. 7-9 [doi]
• Government R&D Programs on Software TechnologyXiaohan Liao. 10 [doi]
• Helping End-User Programmers Engineer Dependable SoftwareGregg Rothermel. 11 [doi]
• Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data SamplesVictor K. Y. Chan, W. Eric Wong, T. F. Xie. 15-21 [doi]
• An Event-Driven Adaptive Differentiated Service Web Container ArchitectureYang Li, Ningjiang Chen, Tao Huang. 22-29 [doi]
• Object-Relational Database Metrics FormalizationAline Lúcia Baroni, Coral Calero, Fernando Brito e Abreu, Mario Piattini. 30-37 [doi]
• Control-Flow Analysis and Representation for Aspect-Oriented ProgramsJianjun Zhao. 38-48 [doi]
• Automating Invariant Verification of Behavioral SpecificationsMasahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi. 49-56 [doi]
• A Method for Realizing Software Architecture DesignYujian Fu, Zhijiang Dong, Xudong He. 57-64 [doi]
• Correctness-preserving synthesis for real-time control softwareJinfeng Huang, Jeroen Voeten, Henk Corporaal. 65-73 [doi]
• Asynchronous Semantics and Anti-patterns for Interacting Web ServicesYongyan Zheng, Paul Krause. 74-84 [doi]
• On Random Testing of Image Processing ApplicationsJohannes Mayer, Ralph Guderlei. 85-92 [doi]
• The Design of Dependency Relationships Matrix to improve the testability of Component-based SoftwareLiangli Ma, Houxiang Wang, Yansheng Lu. 93-98 [doi]
• Improving Coverage in Functional TestingJessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural. 99-106 [doi]
• A Test Data Generation Tool for Unit Testing of C ProgramsZhongxing Xu, Jian Zhang. 107-116 [doi]
• Co-evolution of i* Models and 3APL AgentsAneesh Krishna, Ying Guan, Aditya K. Ghose. 117-124 [doi]
• PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code ApplicationHaruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri. 125-132 [doi]
• An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements SpecificationNelly Condori-Fernández, Oscar Pastor. 133-140 [doi]
• Viewpoints Merging via Incrementally Elicited Ranked StructuresAditya Ghose, Qiuming Lin. 141-150 [doi]
• Model-Based Self-Adaptive Embedded Programs with Temporal Logic SpecificationsLi Tan. 151-158 [doi]
• Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event SystemsPeng Wang, Kai-Yuan Cai. 159-166 [doi]
• Automatic Visualization of Abstract System SpecificationsAxel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel. 167-174 [doi]
• View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data RefinementHui Ma, Klaus-Dieter Schewe, Jane Zhao. 175-184 [doi]
• Static Slicing for Pervasive ProgramsHeng Lu, W. K. Chan, T. H. Tse. 185-192 [doi]
• Managing Quality of Context in Pervasive ComputingYingyi Bu, Tao Gu, XianPing Tao, Jun Li, Shaxun Chen, Jian Lu. 193-200 [doi]
• Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A SurveyMuhammad Ali Babar, Antony Tang, Ian Gorton, Jun Han. 201-208 [doi]
• Software Project Level Estimation Model Framework based on Bayesian Belief NetworksHao Wang, Fei Peng, Chao Zhang, Andrej Pietschker. 209-218 [doi]
• A Modeling Framework for Service-Oriented ArchitectureTao Zhang, Shi Ying, Sheng Cao, Xiangyang Jia. 219-226 [doi]
• Quality Assessment of Mutation Operators Dedicated for C# ProgramsAnna Derezinska. 227-234 [doi]
• A Reflection Mechanism for Reusing Software ArchitectureShi Ying, ZaoQing Liang, Junli Wang, FuDi Wang. 235-243 [doi]
• A Quantitive Context Model of Software Process Patterns and Its Application MethodJiakuan Ma, Yasha Wang. 243-250 [doi]
• Adaptive Random Testing with Enlarged Input DomainJohannes Mayer, Christoph Schneckenburger. 251-258 [doi]
• Generating Optimal Test Set for Neighbor Factors Combinatorial TestingChanghai Nie, Baowen Xu, Ziyuan Wang, Liang Shi. 259-265 [doi]
• Optimal Synchronizable Test Sequence from Test SegmentsJessica Chen, Lihua Duan. 266-273 [doi]
• Probabilistic Adaptive Random TestingKwok Ping Chan, Tsong Yueh Chen, Dave Towey. 274-280 [doi]
• Defect Prevention: A General Framework and Its ApplicationLi Meng, Xiaoyuan He, Sontakke Ashok. 281-286 [doi]
• Early Usability Evaluation in Model Driven Architecture EnvironmentsSilvia Mara Abrahão, Emilio Insfrán. 287-294 [doi]
• An Approach to Composing Multiple Component Implementations for Satisfying Quality RequirementsJie Yang, Gang Huang, Li Zhou, Zhao Liu, Meng Ye, Ying Chen. 295-302 [doi]
• An Adaptive Caching Mechanism for Web ServicesLei Li, Chunlei Niu, Haoran Zheng, Jun Wei. 303-312 [doi]
• Verification Framework for Dynamic Collaborative Services in Service-Oriented ArchitectureWei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen. 313-320 [doi]
• Modularly Certified Dynamic Storage Allocation in SCAPSen Xiang, Yiyun Chen, Chunxiao Lin, Long Li. 321-328 [doi]
• A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIsArnaud Gotlieb, Patrick Bernard. 329-336 [doi]
• Software Reliability Metrics Selecting Method Based on Analytic Hierarchy ProcessHaifeng Li, Minyan Lu, Qiuying Li. 337-346 [doi]
• Technical Reviews in Agile Development: Case Mobile-D^TMHenrik Hedberg, Juha Iisakka. 347-353 [doi]
• Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical ExperienceNor Iadah Yusop. 354-359 [doi]
• Experiences with PASS: Developing and Using a Programming Assignment aSsessment SystemYuen-Tak Yu, C. K. Poon, Marian Choy. 360-368 [doi]
• A Framework for Extensible Component Customization for Component-based Software DevelopmentStephen S. Yau, Choksing Taweponsomkiat, Dazhi Huang. 369-376 [doi]
• Stochastic modeling and quality evaluation of component-based software systemsYunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu. 377-384 [doi]
• Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service IntegrationZhuopeng Zhang, Hongji Yang, William C. Chu. 385-392 [doi]
• Reconstruct the Distributed Transaction Monitor OnceTXBeihong Jin, Gang Li, Liang Zhang. 393-402 [doi]
• Formalizing Class Dynamic Software UpdatingShi Zhang, Linpeng Huang. 403-409 [doi]
• Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking FrameworkZhifeng Lai, S. C. Cheung, Yunfei Jiang. 410-417 [doi]
• LTL Model Checking via Search Space PartitionFei Pu, Wenhui Zhang. 418-428 [doi]
• Multiagent System for Reputation--based Web Services SelectionHui Wang, Deguo Yang, YuHui Zhao, Yuan Gao. 429-434 [doi]
• Proper use of Agent Technologies in Design and Implementation of Software Intensive SystemsRune Gustavsson. 435-440 [doi]
• Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type InferenceDonghong Qin, Zhi Li. 441-445 [doi]
• Co-evolution of Agent Oriented Conceptual Models and Use Case DiagramsMohammad M. R. Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya K. Ghose. 446-451 [doi]
• Towards A Service Requirements Ontology on Knowledge and IntentionLin Liu, Qiang Liu, Chi-Hung Chi, Zhi Jin, Eric S. K. Yu. 452-462 [doi]