Abstract is missing.
- Evolving Critical SystemsMike Hinchey. 1 [doi]
- Trends in Automation and Control Systems Needing Efficient Software EngineeringAkilur Rahman. 2 [doi]
- Building an Open Identity Platform for IndiaPramod Varma. 3 [doi]
- Building Enterprise-Grade Internet of Things ApplicationsPankesh Patel, Vikrant Kaulgud, Praphul Chandra, Ashok Kumar. 4-5 [doi]
- Software Defined Storage TechnologySuresh Chand Gupta, Anita Goel. 6-7 [doi]
- Evaluation and Measurement of Software Testing Process Quality Applicable to Software Testing LaboratoryYang Sun, Hongbing Qian, Xiaochen Liu. 8-15 [doi]
- CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set ProgrammingLingyun Situ, Lingzhong Zhao. 16-23 [doi]
- PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification AnimationFauziah binti Zainuddin, Shaoying Liu. 24-31 [doi]
- High Productivity Programmers Use Effective Task Processes in Unit-TestingDamodaram Kamma, Pankaj Jalote. 32-39 [doi]
- Generating Hierarchical Reference Process Model Using Fragments ClusteringJimin Ling, Li Zhang. 40-47 [doi]
- Versioning Distributed Transactions for Dynamic Component ReconfigurationChun Cao, Huating Liu, Ziling Lu, Ping Yu. 48-55 [doi]
- TBIL: A Tagging-Based Approach to Identity Linkage Across Software CommunitiesWenkai Mo, Beijun Shen, Yuting Chen, Jiangang Zhu. 56-63 [doi]
- From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-GeneralizationLai-Xiang Shan, Zheng Qin, Kaiping Xu, Xu Chen, Zhipeng Li. 64-71 [doi]
- Automatic Selection of System Functional Scenarios for Formal Specification AnimationShaoying Liu. 72-79 [doi]
- Exploiting Annotations to Test Break-off BranchesI. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov. 80-87 [doi]
- The Impacts of Supporting Materials on Code Reading: A Controlled ExperimentGuoping Rong, He Zhang, Qi Shan, Gaoxuan Liu, Dong Shao. 88-95 [doi]
- Eye-Tracking Metrics in Software EngineeringZohreh Sharafi, Timothy Shaffer, Bonita Sharif, Yann-Gaël Guéhéneuc. 96-103 [doi]
- Designing Distributed Systems w.r.t. ConformancePuneet Bhateja. 104-110 [doi]
- Risks, Challenges and Issues in a Possible Scrum and COBIT MarriageNecmettin Ozkan. 111-118 [doi]
- Role Distribution and Transformation in Open Source Software Project TeamsZhongjie Wang, Dewayne E. Perry. 119-126 [doi]
- Efficient and Scalable Collection of Dynamic Metrics Using MapReduceShallu Sarvari, Paramvir Singh, Geeta Sikka. 127-134 [doi]
- Surveying the Corpus of Model Resolution Strategies for Metamodel EvolutionRegina Hebig, Djamel Eddine Khelladi, Reda Bendraou. 135-142 [doi]
- Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAALEun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang. 143-150 [doi]
- Can We Detect Bug Report Duplication with Unfinished Bug Reports?Akihiro Tsuruda, Yuki Manabe, Masayoshi Aritsugi. 151-158 [doi]
- Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software UpdatesMin Zhang 0002, Kazuhiro Ogata, Kokichi Futatsugi. 159-166 [doi]
- Improing Screen Power Usage Model on Android SmartphonesZiling Lu, Chun Cao, XianPing Tao. 167-173 [doi]
- Hybrid MarteLulu Yao, Jing Liu, Yan Zhang, Yuejun Wang. 174-181 [doi]
- ABC: Accelerated Building of C/C++ ProjectsYing Zhang, Yanyan Jiang 0001, Chang Xu, Xiaoxing Ma, Ping Yu 0002. 182-189 [doi]
- Bug Localization Based on Code Change Histories and Bug ReportsKlaus Changsun Youm, June Ahn, Jeongho Kim, Eunseok Lee. 190-197 [doi]
- A Third-Party Extension Support Framework Using PatternsYiyang Hao, Hironori Washizaki, Yoshiaki Fukazawa. 198-205 [doi]
- EFSPredictor: Predicting Configuration Bugs with Ensemble Feature SelectionBowen Xu, David Lo, Xin Xia, Ashish Sureka, Shanping Li. 206-213 [doi]
- Abstract Accountability Language: Translation, Compliance and ApplicationWalid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. 214-221 [doi]
- Incremental Variability Management in Conceptual Data Models of Software Product LinesNiloofar Khedri, Ramtin Khosravi. 222-229 [doi]
- Software Architecture and Specification Model for Customizable Code Inspection ToolsMasami Noro, Atsushi Sawada. 230-237 [doi]
- Quality Assessment of Web Services Using Multivariate Adaptive Regression SplinesLov Kumar, Santanu Kumar Rath. 238-245 [doi]
- Input-Driven Active Testing of Multi-threaded ProgramsHan Yue, Peng Wu 0002, Tsong Yueh Chen, Yi Lv. 246-253 [doi]
- Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial LogicHaiying Sun, Jing Liu, Xiaohong Chen, Dehui Du. 254-260 [doi]
- Using Examples for Teaching Software Design: An Experiment Using a Repository of UML Class DiagramsBilal Karasneh, Rodi Jolak, Michel R. V. Chaudron. 261-268 [doi]
- Quality Based Software Project Staffing and Scheduling with Cost BoundDongwon Seo, Donghwan Shin, Doo-Hwan Bae. 269-276 [doi]
- From Goal Models to Feature Models: A Rule-Based Approach for Software Product LinesDongjin Yu, Zhenli Chen, Yifei Zhang. 277-284 [doi]
- A Learning to Rank Framework for Developer Recommendation in Software CrowdsourcingJiangang Zhu, Beijun Shen, Fanghuai Hu. 285-292 [doi]
- Discovering User-Defined Event Handlers in Presence of JavaScript LibrariesShuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang. 293-300 [doi]
- Decomposing Automatic Train Control Verification System with ProjectionJing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang. 301-308 [doi]
- How Do Python Programs Use Inheritance? A Replication StudyMatteo Orrù, Ewan D. Tempero, Michele Marchesi, Roberto Tonelli. 309-315 [doi]
- Managing Availability of web services in service oriented systemsNavinderjit Kaur Kahlon, Kuljit Kaur Chahal, Salil Vishnu Kapur, Sukhleen Bindra Narang. 316-321 [doi]
- Inferring State Models Using Feedback Directed Random TestingSrihari Sukumaran, Manoranjan Satpathy, S. K. Kolluru, Rajib Mall. 322-329 [doi]
- Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking VerificationDevleena Ghosh, Chittaranjan Mandal. 330-337 [doi]
- Development of Project Outcome Prediction System for an IT VendorTomoyuki Kawamura, Kenichi Takano. 338-345 [doi]
- Optimal Reasoning of Goals in the i* FrameworkChitra M. Subramanian, Aneesh Krishna, Arshinder Kaur. 346-353 [doi]
- Labeling Feature-Oriented Software Clusters for Software Visualization ApplicationKeisuke Yano, Akihiko Matsuo. 354-361 [doi]
- A Concurrent Feedback Development Method and Its Application to Automotive Software DevelopmentKengo Hayashi, Mikio Aoyama, Keiji Kobata. 362-369 [doi]
- Measuring Business Logic Complexity in Software SystemsManabu Kamimura, Akihiko Matsuo, Yoshiharu Maeda. 370-376 [doi]
- Application Layer Encryption for CloudAmitabh Saxena, Vikrant S. Kaulgud, Vibhu Saujanya Sharma. 377-384 [doi]
- Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool FlowMartin Becker 0001, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta. 385-392 [doi]
- Assessing the Quality of Software Requirements Specifications for Automotive Software SystemsAkiyuki Takoshima, Mikio Aoyama. 393-400 [doi]
- Citizen's Charter Driven Service Area ImprovementAnna Marie Fortuito, Moshiur Bhuiyan, Farzana Haque, Luba Shabnam, Aneesh Krishna, Chandana Withana. 401-408 [doi]