Table of Contents

• Using Abstraction to Verify Arbitrary Temporal PropertiesAmir Pnueli. 3 [doi]
• Beyond Agile: SmartIvar Jacobson. 4 [doi]
• Service RefinementJifeng He. 5 [doi]
• Early Filtering of Polluting Method Calls for Mining Temporal SpecificationsHao Zhong, Lu Zhang, Hong Mei. 9-16 [doi]
• DRACULA: Detector of Data Races in Signals HandlersTakamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga. 17-24 [doi]
• Detection of Diverse Design Pattern VariantsKrzysztof Stencel, Patrycja Wegrzynowicz. 25-32 [doi]
• An Empirical Study of Unused Design Decisions in Open Source Java SoftwareEwan D. Tempero. 33-40 [doi]
• A Dynamic Model of Software Product Generative ProcessGiulio Concas, Michele Marchesi, Sandro Pinna, Roberto Tonelli, Ivana Turnu. 43-50 [doi]
• A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural SimilarityDongwon Kang, In-Gwon Song, Seunghun Park, Doo-Hwan Bae, Hoon-Kyu Kim, Nobok Lee. 51-58 [doi]
• Software Process Simulation Modeling: Facts, Trends and DirectionsHe Zhang, Barbara A. Kitchenham, Dietmar Pfahl. 59-66 [doi]
• An Investigation on Performance of Software Enhancement Projects in ChinaMei He, Ye Yang, Qing Wang, Mingshu Li. 67-74 [doi]
• A Nonlinear Approach to Modeling of Software Aging in a Web ServerYun-Fei Jia, Lei Zhao, Kai-Yuan Cai. 77-84 [doi]
• Towards Unanticipated Runtime Adaptation of Java ApplicationsMario Pukall, Christian Kästner, Gunter Saake. 85-92 [doi]
• Correctness of Request Executions in Online Updates of Concurrent Object Oriented ProgramsYogesh Murarka, Umesh Bellur. 93-100 [doi]
• Risks and Risk Management in Software Architecture Evolution: An Industrial SurveyOdd Petter N. Slyngstad, Reidar Conradi, Muhammad Ali Babar, Viktor Clerc, Hans van Vliet. 101-108 [doi]
• A Technique to Check the Implementability of Behavioral Specifications with FrameworksTeruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki. 111-118 [doi]
• Execution Semantics for rCOSZheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He. 119-126 [doi]
• A Heap Model for Java Bytecode to Support Separation LogicChenguang Luo, Guanhua He, Shengchao Qin. 127-134 [doi]
• Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL OntologiesKlaus Marius Hansen, Weishan Zhang, João Fernandes. 135-142 [doi]
• Jata: A Language for Distributed Component TestingJi Wu, Liu Yang, Xu Luo. 145-152 [doi]
• Specification-Based Approach to Select Regression Test Suite to Validate Changed SoftwareRavi Prakash Gorthi, Anjaneyulu Pasala, Kailash K. P. Chanduka, Benny Leong. 153-160 [doi]
• A Novel Optimum Data Duplication Approach for Soft Error DetectionJianjun Xu, Qingping Tan, Rui Shen. 161-168 [doi]
• Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of Software ProductsChong-Won Lee, Byungjeong Lee, Chisu Wu. 169-176 [doi]
• SimPL A Simple Software Production Line for End User DevelopmentAndreas Malaer, Matthias Lampe. 179-186 [doi]
• Measuring Non-Functional Properties in Software Product Line for Product DerivationNorbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Gunter Saake. 187-194 [doi]
• Scheduling Product Line Features for Effective RoadmappingJuha Savolainen, Juha Kuusela. 195-202 [doi]
• AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product LinesMikio Aoyama, Atsuko Yoshino. 203-210 [doi]
• Documenting and Evaluating Scattered Concerns for Framework Usability: A Case StudyDaqing Hou, Chandan Raj Rupakheti, H. James Hoover. 213-220 [doi]
• Inferring Specifications of Object Oriented APIs from API Source CodeHao Zhong, Lu Zhang, Hong Mei. 221-228 [doi]
• A Comparison of the Reliability Growth of Open Source and In-House SoftwareSharifah Mashita Syed-Mohamad, Tom McBride. 229-236 [doi]
• A Source-Code Based Extraction Way for Micro Processes Influencing Software ComplexityNoriko Hanakawa. 239-246 [doi]
• Mining Individual Performance Indicators in Collaborative Development Using Software RepositoriesShen Zhang, Yongji Wang, Junchao Xiao. 247-254 [doi]
• Towards Analysing Information Management Requirements in New Zealand Genetic ServicesYulong Gu, James Warren. 255-262 [doi]
• Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNetHaiqiang Dun, Wen Zhao, Yu Huang, Shikun Zhang, Lifu Wang. 265-272 [doi]
• Emergent Properties in Reactive SystemsMarc Aiguier, Pascale Le Gall, Mbarka Mabrouki. 273-280 [doi]
• Detection of a Set of States in Distributed SystemsHongtao Huang. 281-288 [doi]
• A Measurement-Driven Process Model for Managing Inconsistent Software RequirementsKedian Mu, Zhi Jin, Didar Zowghi. 291-298 [doi]
• Behavioral Specification of Real-Time RequirementsSeyed Morteza Babamir, Faezeh Sadat Babamir. 299-306 [doi]
• Jackson s JSP-Like Method for State Transition DesignOsamu Shigo. 307-314 [doi]
• Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic SystemsDongsun Kim, Suntae Kim, Seokhwan Kim, Sooyong Park. 317-324 [doi]
• Investigating Pair Programming in a Software Engineering Course in an Asian SettingRaymund Sison. 325-331 [doi]
• Extending PSC for Monitoring the Timed Properties in Composite ServicesPengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun. 335-342 [doi]
• Formalization and Consistency Checking of Changes of Software System Configurations Using AlloyHiroaki Tanizaki, Takuya Katayama. 343-350 [doi]
• Modeling and Verifying Web Browser InteractionsShengbo Chen, Huaikou Miao, Zhong-sheng Qian. 351-358 [doi]
• Deadlock-Detection in Java-Library Using Static-AnalysisVivek K. Shanbhag. 361-368 [doi]
• Iterative Model Fixing with CounterexamplesTsutomu Kumazawa, Tetsuo Tamai. 369-376 [doi]
• Model Checking Process with Goal Oriented Requirements AnalysisHideto Ogawa, Fumihiro Kumeno, Shinichi Honiden. 377-384 [doi]
• A Verification Framework for FBD Based Software in Nuclear Power PlantsJunbeom Yoo, Sung Deok Cha, Eunkyoung Jee. 385-392 [doi]
• Resource-Oriented Architecture for Business ProcessesXiwei Xu, Liming Zhu, Yan Liu, Mark Staples. 395-402 [doi]
• A Design Quality Model for Service-Oriented ArchitectureBingu Shim, Siho Choue, Suntae Kim, Sooyong Park. 403-410 [doi]
• SA@Work A Field Study of Software Architecture and Software Quality at WorkKari R. Schougaard, Klaus Marius Hansen, Henrik Bærbak Christensen. 411-418 [doi]
• Service Identification Using Goal and Scenario in Service Oriented ArchitectureSuntae Kim, Minseong Kim, Sooyong Park. 419-426 [doi]
• Using ES Based Automated Software Clustering Approach to Achieve Consistent DecompositionsBilal Khan, Shaleeza Sohail. 429-436 [doi]
• Component-Based Software Update Process in Collaborative Software DevelopmentTien N. Nguyen. 437-444 [doi]
• Security-Aware Refactoring Alerting its Impact on Code VulnerabilitiesKatsuhisa Maruyama, Kensuke Tokoda. 445-452 [doi]
• Detecting Occurrences of Refactoring with Heuristic SearchShinpei Hayashi, Yasuyuki Tsuda, Motoshi Saeki. 453-460 [doi]
• G2Way A Backtracking Strategy for Pairwise Test Data GenerationMohammad F. J. Klaib, Kamal Zuhairi Zamli, Nor Ashidi Mat Isa, Mohammed I. Younis, Rusli Abdullah. 463-470 [doi]
• Test Case Prioritization Based on Analysis of Program StructureZengkai Ma, Jianjun Zhao. 471-478 [doi]
• Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based SoftwarePham Ngoc Hung, Takuya Katayama. 479-486 [doi]
• Early Estimate the Size of Test Suites from Use CasesYi Qu, Bo Zhou, Xiaochun Zhu. 487-492 [doi]
• Theoretical Maximum Prediction Accuracy for Analogy-Based Software Cost EstimationJacky Keung. 495-502 [doi]
• The Use of a Meta-Model to Support Multi-Project Process MeasurementAlberto Colombo, Ernesto Damiani, Fulvio Frati, Sergio Oltolina, Karl Reed, Gabriele Ruffatti. 503-510 [doi]
• A Complexity Metric for Web Applications Based on the Entropy TheoryWoosung Jung, Eunjoo Lee, Kapsu Kim, Chisu Wu. 511-518 [doi]
• Automated Support for Software Cost Estimation Using Web-CoBRAJacky Keung, D. Ross Jeffery. 519-526 [doi]
• Aspect-Oriented Programming for Web Controller LayerKeiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai. 529-536 [doi]
• Flexible Aspect-Oriented Design Model CheckingWuwei Shen, W. Eric Wong. 537-544 [doi]
• Management of Composites in Software Engineering EnvironmentsJacky Estublier, Germán Vega, Thomas Leveque. 545-552 [doi]
• Domain Specific Engineering EnvironmentsJacky Estublier, Germán Vega, Philippe Lalanda, Thomas Leveque. 553-560 [doi]