Abstract is missing.
- A Context-Based Integrity FrameworkMark Anderson, Paul Montague, Benjamin Long. 1-9 [doi]
- Integration of Safety Verification with Conformance Testing in Real-Time Reactive SystemHaiying Sun, Jing Liu, Dehui Du. 10-19 [doi]
- Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating ProgramsLongming Dong, Ji Wang, Liqian Chen. 20-29 [doi]
- A CSP-theoretic Framework of Checking Conformance of Business ProcessesSuman Roy, Sidharth Bihary, Jose Alfonso Corso Laos. 30-39 [doi]
- Applying Recommendation Systems for Composing Dynamic Services for Mobile DevicesJari Pääkkö, Mikko Raatikainen, Varvana Myllärniemi, Tomi Männistö. 40-51 [doi]
- Towards an Adaptive Service Degradation Approach for Handling Server OverloadZiyou Wang, Minghui Zhou, Hong Mei. 52-60 [doi]
- A Preference and Honesty Aware Trust Model for Web ServicesRui Song, Bixin Li, Xiaona Wu, Cuicui Liu, ShanShan Qi. 61-66 [doi]
- Trust-Based Service Composition and OptimizationXiaona Wu, Bixin Li, Rui Song, Cuicui Liu, ShanShan Qi. 67-72 [doi]
- A Trust Impact Analysis Model for Composite Service EvolutionShanShan Qi, Bixin Li, Cuicui Liu, Xiaona Wu, Rui Song. 73-78 [doi]
- Modeling and Verification of Context-Aware SystemsMinh H. Tran, Alan W. Colman, Jun Han, Hongyu Zhang. 79-84 [doi]
- The Case for Using Simulation to Validate Event-B SpecificationsFaqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. 85-90 [doi]
- Semi-Automated Verification of Defense against SQL Injection in Web ApplicationsKaiping Liu, Hee Beng Kuan Tan, Lwin Khin Shar. 91-96 [doi]
- Discovering Early Aspects through Goals InteractionsJonathan Lee, Kuo-Hsun Hsu, Shin-Jie Lee, Wen-Tin Lee. 97-106 [doi]
- Automated Functional Scenarios-Based Formal Specification AnimationMo Li, Shaoying Liu. 107-115 [doi]
- DRE-specific Wikis for Distributed Requirements Engineering: A ReviewRong Peng, Han Lai. 116-126 [doi]
- Service-Driven Migrating of Enterprise Information Systems: A Case StudyZiyan Xu, Haihong Zhao, Sheau Ling Tan, Lin Liu 0001. 127-136 [doi]
- Supporting Awareness during Collaborative and Distributed Configuration of Multi Product LinesGerald Holl, Paul Grünbacher, Christoph Elsner, Thomas Klambauer. 137-147 [doi]
- Leveraging CVL to Manage Variability in Software Process LinesEmmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel. 148-157 [doi]
- Relationships Formalization for Model-Based Product LinesStephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel. 158-163 [doi]
- Debugging Model-to-Model TransformationsJohannes Schönböck, Gerti Kappel, Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger. 164-173 [doi]
- Model-Checking C Programs against JML-like Specification LanguageMasahiro Sakai, Kohei Maruchi, Takeo Imai. 174-183 [doi]
- Resynchronizing Model-Based Self-Adaptive Systems with EnvironmentsLinghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu. 184-193 [doi]
- Software-Based Online Monitoring of Cache Contents on Platforms without Coherence FabricAdriaan Schmidt, Oliver Horst. 194-202 [doi]
- An Experimentation Platform for the Automatic Parallelization of R ProgramsFrank Padberg, Michael Mirold. 203-212 [doi]
- Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web SearchingLili Mou, Ge Li, Zhi Jin, Yangyang Lu, Yiyang Hao. 213-222 [doi]
- Semi-static Detection of Runtime Type Errors in Component-Based Java ProgramsXiaowei Zhou, Wenbo Zhang, Jianhua Zhang. 223-231 [doi]
- Protego: In-Memory Version Control System in the CloudFilippo Gioachin, Qianhui Liang, Yuxia Yao, Bu-Sung Lee. 232-239 [doi]
- An Empirical Study on Improving Severity Prediction of Defect Reports Using Feature SelectionCheng-Zen Yang, Chun-Chi Hou, Wei-Chen Kao, Ing-Xiang Chen. 240-249 [doi]
- Linking Functions and Quality Attributes for Software EvolutionHongji Yang, Shang Zheng, William Cheng-Chung Chu, Ching-Tsorng Tsai. 250-259 [doi]
- Bug Prediction Metrics Based Decision Support for Preventive Software MaintenanceGirish Maskeri Rama, Deepthi Karnam, Sree Aurovindh Viswanathan, Srinivas Padmanabhuni. 260-269 [doi]
- An Approach to Generate Actor-Oriented Activity Charts from Use Case RequirementsSaurabh Tiwari, Santosh Singh Rathore, Abhijeet Singh, Abhinav Singh, Atul Gupta. 270-275 [doi]
- Process Model of Software Method TransitionNatalja Nikitina, Mira Kajko-Mattsson. 276-281 [doi]
- A Design Pattern to Build Executable DSMLs and Associated V&V ToolsBenoît Combemale, Xavier Crégut, Marc Pantel. 282-287 [doi]
- Evaluation Metric for Multiple-Bug Localization with Simple and Complex PredicatesYiWei Zhang, Eric Lo, Ben Kao. 288-293 [doi]
- Dependency Based Approach for Software Analysis Web Services ReplacementChaman Wijesiriwardana, Giacomo Ghezzi, Emanuel Giger, Atsushi Sawada, Harald Gall. 294-299 [doi]
- Testing of Component-Based SystemsBilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston. 300-305 [doi]
- Precise Analysis of Large Industry CodePriyanka Darke, Mayur Khanzode, Arun Nair, Ulka Shrotri, R. Venkatesh. 306-309 [doi]
- An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection TechniquesNorihiro Yoshida, Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue. 310-313 [doi]
- Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial SoftwareSusumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba. 314-317 [doi]
- Test Case Selection Based on Path Condtions of Symbolic ExecutionKazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara. 318-321 [doi]
- The NORMAP Methodology: Lightweight Engineering of Non-functional Requirements for Agile ProcessesWeam M. Farid. 322-325 [doi]
- Automated Analysis of Textual Use-Cases: Does NLP Components and Pipelines Matter?Naveen N. Kulkarni, Deepti Parachuri, Madhuri Dasa, Abhishek Kumar. 326-329 [doi]
- Empirical Analysis of the Impact of Requirements Traceability Quality to the Productivity of Enterprise Applications DevelopmentShinobu Saito, Takashi Hoshino, Mutsuki Takeuchi, Masatoshi Hiraoka, Tsuyoshi Kitani, Mikio Aoyama. 330-333 [doi]
- SaaS Application Framework Using Information Gateway Enabling Cloud Service with Data ConfidentialityKiyoshi Nishikawa, Kenji Oki, Akihiko Matsuo. 334-337 [doi]
- Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded SystemsMehrdad Saadatmand, Mikael Sjödin. 338-341 [doi]
- Implementing Virtual Agent as an Interface for Smart Home Voice ControlShinpei Soda, Masahide Nakamura, Shinsuke Matsumoto, Shintaro Izumi, Hiroshi Kawaguchi, Masahiko Yoshimoto. 342-345 [doi]
- Determining and Selecting the Optimal Sets of Risk Treatments under Project ConstraintsTak Wah Kwan, Bryan Cheung. 346-349 [doi]
- Validating the Effectiveness of Object-Oriented Metrics over Multiple Releases for Predicting Fault PronenessSantosh Singh Rathore, Atul Gupta. 350-355 [doi]
- An Empirical Study of Reliability Growth of Open versus Closed Source Software through Software Reliability Growth ModelsNajeeb Ullah, Maurizio Morisio. 356-361 [doi]
- An Empirical Analysis of the Impact of Comment Statements on Fault-Proneness of Small-Size ModuleHirohisa Aman. 362-367 [doi]
- Diffusion of Software Features: An Exploratory StudyFerdian Thung, David Lo, Lingxiao Jiang. 368-373 [doi]
- Incorporating Expert Judgment into Regression Models of Software Effort EstimationMasateru Tsunoda, Akito Monden, Jacky Wai Keung, Ken-ichi Matsumoto. 374-379 [doi]
- A Model-Driven Prototype Evaluation to Elicit Requirements for a Sensemaking Support ToolFan Yang-Turner, Lydia Lau, Vania Dimitrova. 380-385 [doi]
- Software Development Practices in New ZealandDiana Kirk, Ewan D. Tempero. 386-395 [doi]
- An Exploratory Study of API Usage Examples on the WebLijie Wang, Yanzhen Zou, Lu Fang, Bing Xie, Fuqing Yang. 396-405 [doi]
- An Overview of Software Defect Density: A Scoping StudySyed Muhammad Ali Shah, Maurizio Morisio, Marco Torchiano. 406-415 [doi]
- Software Requirements Triage and Selection: State-of-the-Art and State-of-PracticeMahvish Khurum, Niroopa Uppalapati, Ramya Chowdary Veeramachaneni. 416-421 [doi]
- Software Architecture Matching by Meta-model Extension and RefinementLuxi Chen, Linpeng Huang, Chen Li, Weichao Luo. 422-427 [doi]
- Efficient Modelling of Embedded Software Systems and their Formal VerificationVladimir Estivill-Castro, René Hexel, David A. Rosenblueth. 428-433 [doi]
- Model Transformation Patterns for Introducing Suitable Information SystemsHaruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki. 434-439 [doi]
- A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software SystemsChun Liu, Wei Zhang 0004, Haiyan Zhao, Zhi Jin. 440-445 [doi]
- Capturing Strategic Business Requirements: An Exploratory StudyAbdul Babar, Bernard Wong. 446-451 [doi]
- An Integrated Risk Analysis Method Using Spatial InterpolationPeng Zhou, Hareton K. N. Leung. 452-461 [doi]
- Who is Accountable for Asynchronous Exceptions?Benjamin Morandi, Sebastian Nanz, Bertrand Meyer. 462-471 [doi]
- Pattern-Based Model Transformation Using QVTSunuk Park, Dae-Kyoo Kim, Sooyong Park. 472-481 [doi]
- Behavioural Analysis for Distributed SimulationsPatrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel. 482-487 [doi]
- Extending Linden Scripting Language on OpenSimBo Sun, Xiaohong Zhang, Hao Wu. 488-492 [doi]
- Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnityXiang Ling, Tom Maibaum. 493-498 [doi]
- Calculating Preconditions for Parallel WorkflowsChen-Wei Wang. 499-504 [doi]
- A Formal Approach for the Iterative Design of Behavioural ModelsChen-Wei Wang. 505-510 [doi]
- Invariant-preserved Transformation of State Machines from Equations into Rewrite RulesMin Zhang 0002, Kazuhiro Ogata. 511-516 [doi]
- Comparison of Seven Bug Report Types: A Case-Study of Google Chrome Browser ProjectSangeeta Lal, Ashish Sureka. 517-526 [doi]
- Javelus: A Low Disruptive Approach to Dynamic Software UpdatesTianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lu. 527-536 [doi]
- Pattern-Based Dynamic Maintenance of Software SystemsHadaytullah, Allan Gregersen, Kai Koskimies. 537-546 [doi]
- Software Feature Location Based on Topic ModelsKunming Nie, Li Zhang. 547-552 [doi]
- A Verification Method of Elicited Software Requirements Using Requirements OntologyDang Viet Dzung, Atsushi Ohnishi. 553-558 [doi]
- Permission Assurance for Semantic Aspects of Design PatternsYang Zhao, Lingnan Song, Gongxuan Zhang, John Boyland. 559-564 [doi]
- Software Project Team Characteristics and Team Performance: Team Motivation as a ModeratorPei-Chi Chen, Ching-Chin Chern, Chung-Yang Chen. 565-570 [doi]
- An Approach to Estimating Cost of Running Cloud Applications Based on AWSHuihong He, Zhiyi Ma, Xiang Li, Hongjie Chen, Weizhong Shao. 571-576 [doi]
- A Case Study on Specifying Quality Requirements Using a Quality ModelKlaus Lochmann, Daniel Méndez Fernández, Stefan Wagner. 577-582 [doi]
- A Change Impact Analysis Approach for the Software Development PhaseNazri Kama, Faizul Azli. 583-592 [doi]
- Studying the Understandability of Aspect State Machines through the Weaving ActivityShaukat Ali, Tao Yue. 593-602 [doi]
- Towards Tool Integration through Artifacts and RolesWeiqing Zhang, Vincent Leilde, Birger Møller-Pedersen, Joël Champeau, Christophe Guychard. 603-613 [doi]
- On Accelerating SMT-based Bounded Model Checking of HSTM DesignsWeiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi 0001, Hitoshi Ohsaki, Akira Fukuda. 614-623 [doi]
- Hybrid Interface AutomataYan Zhang, Tian Zhang. 624-633 [doi]
- Parametric Transformations for Flexible AnalysisJuliana Bowles, Dulani Meedeniya. 634-643 [doi]
- Using Monterey Phoenix to Formalize and Verify System ArchitecturesJiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun 0001, Jin Song Dong. 644-653 [doi]
- An Approach to Low-fidelity Prototyping Based on SOFL Informal SpecificationFauziah binti Zainuddin, Shaoying Liu. 654-663 [doi]
- An Algebraic Approach to Formal Analysis of Dynamic Software Updating MechanismsMin Zhang 0002, Kazuhiro Ogata, Kokichi Futatsugi. 664-673 [doi]
- Proving Liveness Property under Fairness RequirementsTeng Long, Wenhui Zhang. 674-682 [doi]
- Debug Concurrent Programs with Visualization and Inference of Event StructureXiaoquan Wu, Jun Wei, Xu Wang. 683-692 [doi]
- Importance Sampling of Runtime InterferenceShin Nakajima. 693-696 [doi]
- Model-Based Software Architecture Evolution and EvaluationAna Dragomir, Horst Lichter. 697-700 [doi]
- Proactive Enforcement of Data Consistency by Business ProcessesXi Liu, Jianwen Su, Xuandong Li. 701-704 [doi]
- Syntax Map: A Modeling Language for Capturing Requirements of Graphical DSMLHyun Cho, Jeff Gray, Eugene Syriani. 705-708 [doi]
- Understanding OSS Peer Review Roles in Peer Review Social Network (PeRSoN)Xin Yang, Raula Gaikovina Kula, Ana Erika Camargo Cruz, Norihiro Yoshida, Kazuki Hamasaki, Kenji Fujiwara, Hajimu Iida. 709-712 [doi]
- Toward Comprehension of Side Effects in Framework Applications as Feature InteractionsIzuru Kume, Masahide Nakamura, Etsuya Shibayama. 713-716 [doi]
- Mining Software Revision History Using Advanced Social Network AnalysisBharath Cheluvaraju, Kartikay Nagal, Anjaneyulu Pasala. 717-720 [doi]
- Empowering Non-conservative Parallelizing Refactoring by Non-monotonic ReasoningMikhail Chalabine. 721-724 [doi]
- A Guided Mashup Framework for Rapid Software Analysis Service CompositionChaman Wijesiriwardana, Giacomo Ghezzi, Harald Gall. 725-728 [doi]
- Factorising the Multiple Fault Localization Problem: Adapting Single-Fault Localizer to Multi-fault ProgramsCheng Gong, Zheng Zheng, Yunqian Zhang, Zhenyu Zhang, Yunzhi Xue. 729-732 [doi]
- A Visualization Technique for Metrics-Based Hierarchical Quality ModelsUaychai Chotjaratwanich, Chonlameth Arpnikanondt. 733-736 [doi]
- A Stochastic Simulation Model for Risk Management ProcessPeng Zhou, Hareton K. N. Leung. 737-742 [doi]
- Automated Comparison of Process Improvement Reference Models Based on Similarity MetricsSimona Jeners, Horst Lichter, Elena Pyatkova. 743-748 [doi]
- Execution Plan for Software Engineering Education in TaiwanJonathan Lee, Alan Liu, Yu Chin Cheng, Shang-Pin Ma, Shin-Jie Lee. 749-753 [doi]
- Analysis of Adaptive Policy-Based Approach to Avoid Policy ConflictsAbdehamid Abdelhadi Mansor, Wan M. N. Wan-Kadir, Toni Anwar, Shamsul Sahibuddin. 754-759 [doi]
- Assessing Platform Suitability for Achieving Quality in Guest ApplicationsBalwinder Sodhi, T. V. Prabhakar. 760-765 [doi]
- Augmenting Product LinesXiaorui Zhang, Øystein Haugen, Birger Møller-Pedersen. 766-771 [doi]
- Towards a Better Understanding of Testing if ConditionalsShimul Kumar Nath, Robert Merkel, Man Fai Lau, Tanay Kanti Paul. 772-777 [doi]
- Search Based Combinatorial TestingChanghai Nie, Huayao Wu, Yalan Liang, Hareton Leung, Fei-Ching Kuo, Zheng Li. 778-783 [doi]
- Modeling Executable Test Actors: Exploratory Study Done in Executable and Translatable UMLRogardt Heldal, Daniel Arvidsson, Fredrik Persson. 784-789 [doi]
- PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based SystemsChen Li, Linpeng Huang, Luxi Chen, Weichao Luo, Xu Li. 790-795 [doi]
- A Graph-Based Approach to Web Service MatchmakingShang-Pin Ma, Jonathan Lee. 796-801 [doi]
- BuOA: An Achitecture Style for Modular Web ApplicationsWei Ye, Ruici Luo, Shikun Zhang, Xueyang Liu, Wenhui Hu. 802-807 [doi]
- Assessing the Representativeness of Open Source Projects in Empirical Software Engineering StudiesHao Zhong, Ye Yang, Jacky W. Keung. 808-817 [doi]
- Investigating the Use of Duration-Based Moving Windows to Improve Software Effort PredictionChris Lokan, Emilia Mendes. 818-827 [doi]
- Classification of Software TransfersClaes Wohlin, Darja Smite. 828-837 [doi]
- A Heuristic Rule Reduction Approach to Software Fault-proneness PredictionAkito Monden, Jacky Wai Keung, Shuji Morisaki, Yasutaka Kamei, Ken-ichi Matsumoto. 838-847 [doi]
- Automated Insertion of Exception Handling for Key and Referential ConstraintsKaiping Liu, Hee Beng Kuan Tan. 848-856 [doi]
- Data Depedency Based Trust Evaluation for BPEL ProcessesCuicui Liu, Bixin Li, ShanShan Qi, Xiaona Wu, Rui Song. 857-866 [doi]
- Engineering an Open-Web Educational Game Design EnvironmentNavid Ahmadi, Mehdi Jazayeri, Alexander Repenning. 867-876 [doi]
- Web Platform API Design Principles and Service ContractYonghong Chen, Xiwei Xu, Liming Zhu. 877-886 [doi]