Abstract is missing.
- On the Semantics of Scenario-Based Specification Based on Timed Computational Tree LogicWenrui Li, Pengcheng Zhang. 1-10 [doi]
- Productive Development of Dynamic Program Analysis Tools with DiSLAibek Sarimbekov, Yudi Zheng, Danilo Ansaloni, Lubomír Bulej, Lukás Marek, Walter Binder, Petr Tuma, Zhengwei Qi. 11-19 [doi]
- Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule ModellingLin Wah Chan, René Hexel, Lian Wen. 20-29 [doi]
- Decomposing Distributed Software Architectures for the Determination and Incorporation of Security and Other Non-functional RequirementsAnton V. Uzunov, Katrina Falkner, Eduardo B. Fernández. 30-39 [doi]
- A Method for Selecting a Model to Estimate the Reliability of a Software Component in a Dynamic SystemM. Garg, R. Lai, P. K. Kapur. 40-50 [doi]
- Duals in Spectral Fault LocalizationLee Naish, Hua Jie Lee. 51-59 [doi]
- Evaluating the Application and Understanding of Elementary Programming PatternsRachel Cardell-Oliver. 60-67 [doi]
- A Change Impact Size Estimation Approach during the Software DevelopmentMehran Halimi Asl, Nazri Kama. 68-77 [doi]
- An Empirical Investigation on the Simulation of Priority and Shortest-Job-First Scheduling for Cloud-Based Software SystemsJia Ru, Jacky Keung. 78-87 [doi]
- Integrating Issue Tracking Systems with Community-Based Question and Answering WebsitesDenzil Correa, Ashish Sureka. 88-96 [doi]
- A Taxonomy of Data Quality Challenges in Empirical Software EngineeringMichael Franklin Bosu, Stephen G. MacDonell. 97-106 [doi]
- What Can Developers' Messages Tell Us? A Psycholinguistic Analysis of Jazz Teams' Attitudes and Behavior PatternsSherlock A. Licorish, Stephen G. MacDonell. 107-116 [doi]
- On the Application of Inequality Indices in Comparative Software AnalysisOlga Goloshchapova, Markus Lumpe. 117-126 [doi]
- A Model-Driven Approach for Ensuring Change Traceability and Multi-model ConsistencyClaudia Szabo, Yufei Chen. 127-136 [doi]
- Significant Requirements Engineering Practices for Software Development OutsourcingJaved Iqbal, Rodina Ahmad, Mohd Hairul Nizam, Md. Nasir, Muhammad Asim Noor. 137-144 [doi]
- Development of Robust Traceability BenchmarksXiaofan Chen, John G. Hosking, John Grundy, Robert Amor. 145-154 [doi]
- From Toy to Tool: Extending Tag Clouds for Software and Information VisualisationJessica Emerson, Neville Churcher, Chris Deaker. 155-164 [doi]
- An Empirical Experiment on Analogy-Based Software Cost Estimation with CUDA FrameworkPassakorn Phannachitta, Jacky Keung, Ken-ichi Matsumoto. 165-174 [doi]
- A Method of Specifying and Classifying Requirements ChangeShalinka Jayatilleke, Richard Lai. 175-180 [doi]
- OwnKit: Inferring Modularly Checkable Ownership Annotations for JavaConstantine Dymnikov, David J. Pearce, Alex Potanin. 181-190 [doi]
- Support Formal Component-Based Development with UML ProfileDan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz. 191-200 [doi]
- Unifying Configuration Management with Merge Conflict Detection and Awareness SystemsH.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer. 201-210 [doi]
- Predicting Fault-Prone Software Modules with Rank Sum ClassificationJaspar Cahill, James M. Hogan, Richard Thomas. 211-219 [doi]