Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference最新文献

筛选
英文 中文
Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams 使用决策图分析由规则和流程组成的业务系统
Sayandeep Mitra, Pavan Kumar Chittimalli, A. Banerjee
{"title":"Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams","authors":"Sayandeep Mitra, Pavan Kumar Chittimalli, A. Banerjee","doi":"10.1145/3385032.3385051","DOIUrl":"https://doi.org/10.1145/3385032.3385051","url":null,"abstract":"Modern Businesses are rapidly growing in complexity and functionalities. To ensure smooth functioning, businesses need to adhere to a set of guidelines and constraints which are efficiently represented by Business Rules(BRs). Due to the large number of inter-dependent BRs, anomalies such as inconsistencies, redundancies and circularities creep in to the rule base, which if not dealt with properly can cause the business to function improperly causing significant damage at multiple levels. Present state of the art methods identify such anomalies in BRs by converting the rules to knowledge representation (Ontology, SMT-LIBv2, etc.) and then running them on solvers. These approaches suffer from certain drawbacks, namely incomplete mappings and scalability of solvers. To overcome these shortcomings, in this paper we propose to represent the Business Rules(BRs) as Decision Diagrams (BDD, SDD, MDD, etc.) and use graph algorithms on top of their canonical representations to identify anomalies. Presently, business rules and processes are treated separately. We model rules as Decision Diagrams(DDs) to integrate with certain graphical representations of business processes (e.g., DCR Graphs, BPMN, etc.), enabling us to efficiently analyze a much more enriched set of business information. We show an initial set of mappings from business rules to Binary Decision Diagrams (BDD's), integrate with processes, identify various anomalies and outline our vision and prospective reach of this approach.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124318049","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Report on the First Workshop on Software Engineering for Artificial Intelligence (SE4AI 2020) 第一届人工智能软件工程研讨会(SE4AI 2020)报告
S. Bandyopadhyay, R. Mukherjee, S. Sarkar
{"title":"A Report on the First Workshop on Software Engineering for Artificial Intelligence (SE4AI 2020)","authors":"S. Bandyopadhyay, R. Mukherjee, S. Sarkar","doi":"10.1145/3385032.3385055","DOIUrl":"https://doi.org/10.1145/3385032.3385055","url":null,"abstract":"With advancement in technology-driven decision making, the software-intensive systems for decisions have become more robust, dynamic, adaptive, context-aware, dependable. Architectural designs of such systems crave for new approaches where the data-driven decision making has to be incorporated in the solution. Methods for recommendation mechanism, prediction of operation failures, dealing with unsafe conditions etc are going to be part of the solution itself. Integrating such features to conceive an intelligent system that will directly influence the business solution is mostly appreciated. This would not have been possible without the direct interference of Artificial Intelligence which has been a standard procedure of industrial repertoire since 1980s. The direct impact of AI on social and economic life has been been felt mostly in last decade (since 2007) with the advent of smart phone, which contribute largely to \"big data\". The era of \"big data\" has witnessed the efficacy of Machine Learning and there is a need of the hour to combine data-driven machine intelligence with human intelligence (insights and domain knowledge) to effectively make the software development (requirement, design, testing, deployment and operation management) intelligent. The research community has shown a keen interest in this emerging field. In this report, we present a pre-organization summary of the workshop to be held on February 27, 2020, at IIIT Jabbalpur (India), co-located with the 13th Innovations in Software Engineering Conference (ISEC 2020).","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132344622","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Report on the PhD Symposium Track: ISEC 2020 ISEC 2020博士专题研讨会报告
Raghavan Komondoor
{"title":"A Report on the PhD Symposium Track: ISEC 2020","authors":"Raghavan Komondoor","doi":"10.1145/3385032.3385058","DOIUrl":"https://doi.org/10.1145/3385032.3385058","url":null,"abstract":"Innovations in Software Engineering Conference (ISEC) is the flagship annual conference of iSoft, which is an arm of ACM India and serves as the India chapter of ACM SIGSOFT. The 13th edition of ISEC is to be held at IIITDM Jabalpur during the period February 27-29 2020, and will hold a PhD Symposium. The objective of the PhD Symposium is to provide for a forum for junior as well senior level PhD students working in the field of software engineering to present their work in a friendly setting, to get feedback on their direction from experts, to present posters about their work to the ISEC attendees, and to interact and network with each other. This report summarizes the motivation for this symposium and the plan for the event, and lists the full set of accepted submissions.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129861728","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Clustering Glossary Terms Extracted from Large-Sized Software Requirements using FastText 使用FastText从大型软件需求中提取聚类术语表术语
Kushagra Bhatia, S. Mishra, Arpit Sharma
{"title":"Clustering Glossary Terms Extracted from Large-Sized Software Requirements using FastText","authors":"Kushagra Bhatia, S. Mishra, Arpit Sharma","doi":"10.1145/3385032.3385039","DOIUrl":"https://doi.org/10.1145/3385032.3385039","url":null,"abstract":"Specialized terms used in the requirements document should be defined in a glossary. We propose a technique for automated extraction and clustering of glossary terms from large-sized requirements documents. We use text chunking combined with WordNet removal to extract candidate glossary terms. Next, we apply a state-of-the art neural word embeddings model for clustering glossary terms based on semantic similarity measures. Word embeddings are capable of capturing the context of a word and compute its semantic similarity relation with other words used in a document. Its use for clustering ensures that terms that are used in similar ways belong to the same cluster. We apply our technique to the CrowdRE dataset, which is a large-sized dataset with around 3000 crowd-generated requirements for smart home applications. To measure the effectiveness of our extraction and clustering technique we manually extract and cluster the glossary terms from CrowdRE dataset and use it for computing precision, recall and coverage. Results indicate that our approach can be very useful for extracting and clustering of glossary terms from a large body of requirements.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114063738","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
HACO
Alpana Dubey, K. Abhinav, Sakshi Jain, Veenu Arora, Asha Puttaveerana
{"title":"HACO","authors":"Alpana Dubey, K. Abhinav, Sakshi Jain, Veenu Arora, Asha Puttaveerana","doi":"10.1145/3385032.3385044","DOIUrl":"https://doi.org/10.1145/3385032.3385044","url":null,"abstract":"We witnessed great advancement in artificial intelligence (AI) powered technologies over the past few decades. Wide use of AI technologies has led to the creation of an ecosystem where human and AI systems are partners, complementing each other with their strengths. To build a successful human-AI team, there are several considerations, including context awareness, effective communication, pro-activeness, etc. In this paper, we present a taxonomy of human-AI teaming concepts. We extend a multi-agent framework, Java Agent Development Framework (JADE), to support the proposed taxonomy. Our solution framework, Human-AI Collaboration (HACO), enables a model-driven development of human-AI teaming systems through graphical user interface. In this paper, we present the solution architecture for extending JADE with human-AI teaming taxonomy. A user study performed to assess the usefulness of HACO, shows that HACO is a promising framework. We evaluated the proposed framework by developing a set of use cases for a contact center and observed a signification reduction in the overall development effort. The framework video can be viewed at https://youtu.be/lNyrrk8dMqU.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114756755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Impact of CBL on Student's Learning and Performance: An Experience Report CBL对学生学习和表现的影响:一份经验报告
S. Tiwari
{"title":"Impact of CBL on Student's Learning and Performance: An Experience Report","authors":"S. Tiwari","doi":"10.1145/3385032.3385049","DOIUrl":"https://doi.org/10.1145/3385032.3385049","url":null,"abstract":"Case-Based Learning (CBL) is a well-known teaching methodology adopted across several disciplines for understanding problem domain from multiple perspectives. The CBL is also utilized in the Software Engineering domain to teach various concepts like Requirements Engineering (RE), Software Design and Testing. In this paper, we report the results of a replicated study conducted to assess the effectiveness of CBL methodology in facilitating the learning of several RE concepts. The evaluation was made based on postgraduate students' responses to a set of questions representing five learning principles and a set of case questions for the given case. We found that the use of CBL teaching methodology helps in improving students' learning and performance.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121357954","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Formal System Design and Verification: A Perspective 形式化系统设计与验证:一个视角
S. Rajamani
{"title":"Formal System Design and Verification: A Perspective","authors":"S. Rajamani","doi":"10.1145/3385032.3385060","DOIUrl":"https://doi.org/10.1145/3385032.3385060","url":null,"abstract":"We give a perspective on rigorous design and verification, by reflecting on some design and verification efforts we have worked on with collaborators over many years.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124795048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Report on the Third Workshop on Emerging Software Engineering Education (WESEE 2020) 第三届新兴软件工程教育研讨会(WESEE 2020)报告
S. Tiwari, Sheikh Umar Farooq, Paramvir Singh, S. Rathore
{"title":"A Report on the Third Workshop on Emerging Software Engineering Education (WESEE 2020)","authors":"S. Tiwari, Sheikh Umar Farooq, Paramvir Singh, S. Rathore","doi":"10.1145/3385032.3385054","DOIUrl":"https://doi.org/10.1145/3385032.3385054","url":null,"abstract":"Software engineering has to cater to the needs and challenges of fast-evolving technology innovations to produce high quality and reliable software. One of the key elements for a successful future of the software engineering industry is to have a well-trained and highly-skilled workforce. Therefore, academia has to play a prominent role in producing the workforce which is industry ready and ready to cope with the challenges and needs posed by the ever-increasing modern software revolution. Inculcating the art and science of software engineering in the young and old demands the utilization of effective teaching methods at all levels of education dissemination. With a unique theme of Software engineering Education and Training - Teaching Methodologies and Experiences, the third edition of the Workshop on Emerging Software Engineering Education (WESEE) aims to bring together software engineering educators from academia and industry for understanding the challenges and current and future needs of software engineering education and finding futuristic solutions. In this report, we present a pre-organization summary of the workshop to be held on February 27, 2020, at the Indian Institute of Information Technology, Design and Manufacturing, Jabalpur (India), co-located with the 13th Innovations in Software Engineering Conference (ISEC 2020).","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116669955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Control-Flow based Anomaly Detection in the Bug-Fixing Process of Open-Source Projects 开源项目bug修复过程中基于控制流的异常检测
Veena Saini, Paramvir Singh, A. Sureka
{"title":"Control-Flow based Anomaly Detection in the Bug-Fixing Process of Open-Source Projects","authors":"Veena Saini, Paramvir Singh, A. Sureka","doi":"10.1145/3385032.3385038","DOIUrl":"https://doi.org/10.1145/3385032.3385038","url":null,"abstract":"In the past few years, substantial research has been conducted to find out the anomalies present in the real-world business processes. Existing research either uses process mining techniques or discrete sequence-based anomaly detection techniques. The bug-fixing process of various open-source projects has been analyzed previously to discover the process inefficiencies using process mining techniques. These works exploit generic process mining tools to create the process models. Also, they did not evaluate the performance of their proposed conformance checking algorithms. In addition to these, the discrete sequence-based analogy and anomaly detection techniques are not discussed in the bug-fixing process context. In this paper, we report a bug-fixing process dataset for 30 Apache open-source projects that use JIRA bug tracking system for bug reporting. This real-world dataset is analyzed to discover the anomalous process sequences and the root cause of anomalies. The contributions of this paper include (i) a formalized approach for pre-processing and transforming the bug report history data, from bug tracking systems into event logs, suitable for process analysis; (ii) a process mining based anomaly detection framework for bug-fixing processes that comprises our proposed algorithms for process discovery and conformance checking; and (iii) an artificial labelled process dataset available at Mendeley open-source dataset repository ( doi:10.17632/5yb2xv93w3.1).","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127739197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Interleaving Software Craftsmanship Practices in Medical Device Agile Development 医疗器械敏捷开发中的交叉软件工艺实践
Arpitha Badanahatti, Sapna Pillutla
{"title":"Interleaving Software Craftsmanship Practices in Medical Device Agile Development","authors":"Arpitha Badanahatti, Sapna Pillutla","doi":"10.1145/3385032.3385047","DOIUrl":"https://doi.org/10.1145/3385032.3385047","url":null,"abstract":"Scaled Agile methodologies have revolutionized the way safety critical applications work. A majority of organizations have benefited from increased success rates in software development, improved quality and time to market while being compliant with regulations. However, one of the common pitfalls is a lack of focus on code quality in an urge to release software as quickly as possible. This paper highlights the transformation approach adopted by Philips HealthTech to improve code quality of its medical devices. It discusses how culmination of a series of actions related to Software Craftsmanship and Scaled Agile methodology helped in reducing release cycle time, increasing the number of features delivered and reducing field defects. Steps taken by a dedicated team, to enable businesses to focus on code quality hygiene and to assess the extent of improvements, are also discussed. Key take away from this paper is \"Quality = Speed\" i.e., driving agility and bringing in the needed cultural change in teams and organization.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129863670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信