default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd APSEC 2015: New Delhi, India
- Jing Sun, Y. Raghu Reddy, Arun Bahulkar, Anjaneyulu Pasala:
2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-9644-8
Keynotes
- Mike Hinchey:
Evolving Critical Systems. 1 - Akilur Rahman:
Trends in Automation and Control Systems Needing Efficient Software Engineering. 2 - Pramod Varma:
Building an Open Identity Platform for India. 3
Tutorials
- Pankesh Patel
, Vikrant Kaulgud, Praphul Chandra, Ashok Kumar:
Building Enterprise-Grade Internet of Things Applications. 4-5 - Suresh Chand Gupta, Anita Goel:
Software Defined Storage Technology. 6-7
Research Track
- Yang Sun, Hongbing Qian, Xiaochen Liu:
Evaluation and Measurement of Software Testing Process Quality Applicable to Software Testing Laboratory. 8-15 - Lingyun Situ, Lingzhong Zhao:
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. 16-23 - Fauziah binti Zainuddin, Shaoying Liu:
PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation. 24-31 - Damodaram Kamma, Pankaj Jalote:
High Productivity Programmers Use Effective Task Processes in Unit-Testing. 32-39 - Jimin Ling, Li Zhang:
Generating Hierarchical Reference Process Model Using Fragments Clustering. 40-47 - Chun Cao, Huating Liu, Ziling Lu, Ping Yu:
Versioning Distributed Transactions for Dynamic Component Reconfiguration. 48-55 - Wenkai Mo, Beijun Shen, Yuting Chen, Jiangang Zhu:
TBIL: A Tagging-Based Approach to Identity Linkage Across Software Communities. 56-63 - Lai-Xiang Shan, Zheng Qin, Kaiping Xu, Xu Chen, Zhipeng Li:
From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization. 64-71 - Shaoying Liu:
Automatic Selection of System Functional Scenarios for Formal Specification Animation. 72-79 - I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov:
Exploiting Annotations to Test Break-off Branches. 80-87 - Guoping Rong, He Zhang, Qi Shan, Gaoxuan Liu, Dong Shao:
The Impacts of Supporting Materials on Code Reading: A Controlled Experiment. 88-95 - Zohreh Sharafi, Timothy Shaffer, Bonita Sharif, Yann-Gaël Guéhéneuc:
Eye-Tracking Metrics in Software Engineering. 96-103 - Puneet Bhateja:
Designing Distributed Systems w.r.t. Conformance. 104-110 - Necmettin Ozkan:
Risks, Challenges and Issues in a Possible Scrum and COBIT Marriage. 111-118 - Zhongjie Wang, Dewayne E. Perry:
Role Distribution and Transformation in Open Source Software Project Teams. 119-126 - Shallu Sarvari, Paramvir Singh, Geeta Sikka:
Efficient and Scalable Collection of Dynamic Metrics Using MapReduce. 127-134 - Regina Hebig, Djamel Eddine Khelladi, Reda Bendraou:
Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution. 135-142 - Eun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang:
Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. 143-150 - Akihiro Tsuruda, Yuki Manabe, Masayoshi Aritsugi:
Can We Detect Bug Report Duplication with Unfinished Bug Reports? 151-158 - Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates. 159-166 - Ziling Lu, Chun Cao, XianPing Tao:
Improing Screen Power Usage Model on Android Smartphones. 167-173 - Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang:
Hybrid Marte. 174-181 - Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu:
ABC: Accelerated Building of C/C++ Projects. 182-189 - Klaus Changsun Youm, June Ahn, Jeongho Kim, Eunseok Lee:
Bug Localization Based on Code Change Histories and Bug Reports. 190-197 - Yiyang Hao, Hironori Washizaki, Yoshiaki Fukazawa:
A Third-Party Extension Support Framework Using Patterns. 198-205 - Bowen Xu, David Lo, Xin Xia, Ashish Sureka, Shanping Li:
EFSPredictor: Predicting Configuration Bugs with Ensemble Feature Selection. 206-213 - Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami:
Abstract Accountability Language: Translation, Compliance and Application. 214-221 - Niloofar Khedri, Ramtin Khosravi:
Incremental Variability Management in Conceptual Data Models of Software Product Lines. 222-229 - Masami Noro, Atsushi Sawada:
Software Architecture and Specification Model for Customizable Code Inspection Tools. 230-237 - Lov Kumar, Santanu Kumar Rath:
Quality Assessment of Web Services Using Multivariate Adaptive Regression Splines. 238-245 - Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv:
Input-Driven Active Testing of Multi-threaded Programs. 246-253 - Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. 254-260 - Bilal Karasneh, Rodi Jolak, Michel R. V. Chaudron:
Using Examples for Teaching Software Design: An Experiment Using a Repository of UML Class Diagrams. 261-268 - Dongwon Seo, Donghwan Shin, Doo-Hwan Bae:
Quality Based Software Project Staffing and Scheduling with Cost Bound. 269-276 - Dongjin Yu, Zhenli Chen, Yifei Zhang:
From Goal Models to Feature Models: A Rule-Based Approach for Software Product Lines. 277-284 - Jiangang Zhu, Beijun Shen, Fanghuai Hu:
A Learning to Rank Framework for Developer Recommendation in Software Crowdsourcing. 285-292 - Shuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang:
Discovering User-Defined Event Handlers in Presence of JavaScript Libraries. 293-300 - Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang:
Decomposing Automatic Train Control Verification System with Projection. 301-308 - Matteo Orrù, Ewan D. Tempero, Michele Marchesi, Roberto Tonelli:
How Do Python Programs Use Inheritance? A Replication Study. 309-315 - Navinderjit Kaur Kahlon, Kuljit Kaur Chahal, Salil Vishnu Kapur, Sukhleen Bindra Narang:
Managing Availability of web services in service oriented systems. 316-321 - Srihari Sukumaran, Manoranjan Satpathy, S. K. Kolluru, Rajib Mall:
Inferring State Models Using Feedback Directed Random Testing. 322-329 - Devleena Ghosh, Chittaranjan Mandal:
Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification. 330-337
Industry Track
- Tomoyuki Kawamura, Kenichi Takano:
Development of Project Outcome Prediction System for an IT Vendor. 338-345 - Chitra M. Subramanian, Aneesh Krishna, Arshinder Kaur:
Optimal Reasoning of Goals in the i* Framework. 346-353 - Keisuke Yano, Akihiko Matsuo:
Labeling Feature-Oriented Software Clusters for Software Visualization Application. 354-361 - Kengo Hayashi, Mikio Aoyama, Keiji Kobata:
A Concurrent Feedback Development Method and Its Application to Automotive Software Development. 362-369 - Manabu Kamimura, Akihiko Matsuo, Yoshiharu Maeda:
Measuring Business Logic Complexity in Software Systems. 370-376 - Amitabh Saxena, Vikrant S. Kaulgud, Vibhu Saujanya Sharma:
Application Layer Encryption for Cloud. 377-384 - Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta:
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. 385-392 - Akiyuki Takoshima, Mikio Aoyama:
Assessing the Quality of Software Requirements Specifications for Automotive Software Systems. 393-400 - Anna Marie Fortuito, Moshiur Bhuiyan, Farzana Haque, Luba Shabnam, Aneesh Krishna, P. W. Chandana Prasad:
Citizen's Charter Driven Service Area Improvement. 401-408
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-30 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
