发布求助
文献互助 智能选刊 最新文献

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)最新文献

筛选
英文 中文
Use-Oriented Design and Software Ecosystems 面向用户的设计和软件生态系统
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3301651
Y. Dittrich
{"title":"Use-Oriented Design and Software Ecosystems","authors":"Y. Dittrich","doi":"10.1145/3299771.3301651","DOIUrl":"https://doi.org/10.1145/3299771.3301651","url":null,"abstract":"Software today is more and more often part of either product or platform ecosystems. Examples are ERP systems, scientific software, but also the India stack (http://indiastack.org/about/). Software development in such ecosystems is often distributed over several organizations: the software provider/platform developer; application developers and customizers; and sometimes even end users acting as developers. Software products and platforms need to be continuously evolved to keep up with the evolving use and business cases. In the context of societal infrastructures, the design of functionality and interaction needs to be adapted to technically savy subcultures as well as underprivileged communities. Here, the design for and with underprivileged communities is especially challenging. In the talk, I draw on research on software eco-systems in Scandinavia and user centered design and development of software in Scandinavia, India and Africa. The lecture will outline challenges and possibilities of use-oriented design in the context of software ecosystems.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127040016","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
Automated Test Case Generation for Programmable Logic Controller Code 可编程逻辑控制器代码的自动测试用例生成
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3299799
Varsha P. Suresh, S. Chakrabarti, R. Jetley
{"title":"Automated Test Case Generation for Programmable Logic Controller Code","authors":"Varsha P. Suresh, S. Chakrabarti, R. Jetley","doi":"10.1145/3299771.3299799","DOIUrl":"https://doi.org/10.1145/3299771.3299799","url":null,"abstract":"With the advent of programmable logic controllers (PLCs), the use of control applications has increased significantly in the recent years. Control system software are usually embedded real time software which interacts with other physical subsystems. The language we are dealing with is IEC 61131-3 standard, a high level domain specific programming language for developing control system software. Testing of programs developed in such language is difficult because of the occurrence of real-time interrupts, exception handlers and complex data-types. Here, a symbolic execution framework SymTest is utilized to obtain test inputs of control system software. SymTest does not ensure optimal feasible paths after backtracking. In this paper an approach using pattern matching and IDA* is utilized to overcome the drawback. The symbolic execution framework is implemented for small programs in IEC 61131-3.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123476926","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
The ISEC 2019 Ph.D. Symposium ISEC 2019博士研讨会
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3300169
Meenakshi D'Souza, Subhajit Roy
{"title":"The ISEC 2019 Ph.D. Symposium","authors":"Meenakshi D'Souza, Subhajit Roy","doi":"10.1145/3299771.3300169","DOIUrl":"https://doi.org/10.1145/3299771.3300169","url":null,"abstract":"ISEC (Innovations in Software Engineering Conference) is the annual flagship conference of ISOFT, the India chapter of ACM SIGSOFT, under the umbrella of ACM India. The twelveth edition of ISEC, to be held at Pune from 14th to 16th February 2019, will also host a Ph.D. Symposium, for research scholars working in all research areas of interest to ISEC. The symposium is meant to facilitate discussion and provide direction to Ph.D. students, both at the preliminary and advanced stage of their doctoral program, through papers published in ISEC proceedings followed by a presentation at the symposium as well as poster presentations. This report summarizes the objectives of this symposium, the plan for the event, the set of full papers accepted to be published in the conference proceedings and the abstracts of the accepted posters to be presented at the symposium.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126268734","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
A Report on the Second Workshop on Emerging Software Engineering Education (WESEE 2019) 第二届新兴软件工程教育研讨会(WESEE 2019)报告
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3301647
Paramvir Singh, Sheikh Umar Farooq, S. Tiwari, Ranjith Tharayil
{"title":"A Report on the Second Workshop on Emerging Software Engineering Education (WESEE 2019)","authors":"Paramvir Singh, Sheikh Umar Farooq, S. Tiwari, Ranjith Tharayil","doi":"10.1145/3299771.3301647","DOIUrl":"https://doi.org/10.1145/3299771.3301647","url":null,"abstract":"Software engineering is fast evolving to the needs of modern-day customers and the challenges to support the unstoppable technological innovations. A well-trained and highly-skilled workforce required to push this evolution forward hence becomes the key element for a successful future of software engineering. Inculcating the art and science of software engineering in the young and old demands the introduction of out-of-the-box teaching methods at all levels of education dissemination. With a unique theme of Software engineering teaching-learning in academia and industry, the second edition of the Workshop on Emerging Software Engineering Education (WESEE) aims to bring together software engineering educators from academia -- who understand how the education scenarios and research are changing the mechanisms of teaching software engineering related courses, and from industry -- who understand how software engineers are trained or how software development is coached. In this report, we present a pre-organization summary of the workshop to be held on February 14, 2019, at College of Engineering, Pune (India), co-located with the 12th Innovations in Software Engineering Conference (ISEC 2019).","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128000909","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
Modeling and Coverage Analysis of Programs with Exception Handling 异常处理程序的建模和覆盖分析
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3299785
E. S. F. Najumudheen, R. Mall, D. Samanta
{"title":"Modeling and Coverage Analysis of Programs with Exception Handling","authors":"E. S. F. Najumudheen, R. Mall, D. Samanta","doi":"10.1145/3299771.3299785","DOIUrl":"https://doi.org/10.1145/3299771.3299785","url":null,"abstract":"Test coverage analysis of exception handling features is a non-trivial task, since exception handling constructs introduce implicit control flow in programs. In this paper, we present a model-based technique for coverage analysis of exception handling features in object-oriented programs. Our technique is based on our previous work on coverage analysis. We first propose a program model, Augmented Call-based Object-Oriented System Dependence Graph (ACSD), and describe its construction. The ACSD represents the structural aspects of the exception handling mechanism, as well as intra-procedural and inter-procedural exceptional control and data flows. We propose several coverage measures specific to exception handling, and apply coverage-on-the-fly technique to the ACSD to determine those coverage measures. We also present the results of the experiments carried out using a prototype tool to demonstrate the efficacy of our ACSD model and coverage technique.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130086076","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}
引用次数: 5
Tutorials and Technical Briefings at ISEC 2019 ISEC 2019的教程和技术简报
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3301648
Venkatesh Choppella, Aseem Rastogi
{"title":"Tutorials and Technical Briefings at ISEC 2019","authors":"Venkatesh Choppella, Aseem Rastogi","doi":"10.1145/3299771.3301648","DOIUrl":"https://doi.org/10.1145/3299771.3301648","url":null,"abstract":"This is a short report on the Tutorials and Tech Briefings session of the 12th Innovations in Software Engineering (ISEC 2019) conference held on 14th February 2019 in Pune, India. The tutorials and tech briefings at ISEC have been popular with the participants because they offer a gentle and friendly introduction to cutting edge topics and research at the frontiers of the discipline of software engineering. This year's track attracted a total of 11 submissions (four tutorial and seven tech briefings). The five submissions that were selected reflect the current interests and directions of the field of software engineering.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131018752","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
Towards an Adaptive Enterprise 迈向适应性企业
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3300170
V. Kulkarni
{"title":"Towards an Adaptive Enterprise","authors":"V. Kulkarni","doi":"10.1145/3299771.3300170","DOIUrl":"https://doi.org/10.1145/3299771.3300170","url":null,"abstract":"Modern enterprises are complex systems of systems operating in highly dynamic environments and they need to respond quickly to a variety of change drivers. The cost of erroneous response is typically prohibitive with little chance of subsequent correction. The Enterprise of the Future will be in perpetual beta mode i.e., always open to change. Ensuring that enterprises adapt correctly is challenging due to their scale, complexity, uncertainty and the need to synthesize a vast amount of data. The dynamic nature of the operating environment demands continual learning in order to progressively improve the quality of responses. The current practice of relying solely on human experts is turning out to be ineffective and there is an urgent need to develop technology aids to reduce the analysis and synthesis burden on human experts. Aim of the workshop is to discuss the various key aspects of this challenge and propose possible lines of attack to overcome them.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131197147","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
FrAppLe: A Framework for Apprenticeship Learning FrAppLe:学徒学习框架
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3299796
Vijaya Sharvani, K. Abhinav, Alpana Dubey, Sakshi Jain, Veenu Arora, Meenakshi D'Souza
{"title":"FrAppLe: A Framework for Apprenticeship Learning","authors":"Vijaya Sharvani, K. Abhinav, Alpana Dubey, Sakshi Jain, Veenu Arora, Meenakshi D'Souza","doi":"10.1145/3299771.3299796","DOIUrl":"https://doi.org/10.1145/3299771.3299796","url":null,"abstract":"Human and AI collaboration has evolved drastically over the past decade. Most of the tasks are now partly handled by machines and partly by humans, resulting in human and AI partnership. Humans share their tasks with the AI agents as they are good at performing predictive and repetitive tasks. The tasks assigned to the agents can be dynamic in nature and can change over time. This may lead to acquiring new skills or re-training to improvise on the same task. The developer needs to programme these agents every time for a new domain. In this work, we propose a framework that helps in developing apprentice agents that learn from Human demonstration. Apprenticeship learning is the process of learning by observing an expert performing actions to achieve a specific goal. The agent observes the expert's actions, the sensory inputs and then trains itself using the observed data. We also propose a process to learn and self-diagnose the agent's action for apprenticeship learning. The framework alleviates the need to explicitly program the apprentice agents. We demonstrate our framework on a case study.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114931726","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
Formalizing GPU Instruction Set Architecture in Coq Coq中GPU指令集架构的形式化
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3299798
N. Bhatia, Meenakshi D'Souza, S. Chakrabarti
{"title":"Formalizing GPU Instruction Set Architecture in Coq","authors":"N. Bhatia, Meenakshi D'Souza, S. Chakrabarti","doi":"10.1145/3299771.3299798","DOIUrl":"https://doi.org/10.1145/3299771.3299798","url":null,"abstract":"GPUs are now a mainstream compute device. They are widely used to render images on medical devices. Today, it has become impossible to imagine AI without them. To build confidence on the accuracy of rendering images and complex calculations, it is essential to consider formalizing the behaviour of GPU Instruction Set Architecture (ISA) at the assembly language level. In this paper, we present the formalization of GPU shader programs. We prove some properties of shader programs with respect to operational semantics of our formal model. We use Coq to mechanize the formalization of our model and proofs.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129643194","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
Start-ups Track ISEC 2019 初创企业跟踪ISEC 2019
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) Pub Date : 2019-02-14 DOI: 10.1145/3299771.3301649
Gireendra Kasmalkar, Kiran Deshpande
{"title":"Start-ups Track ISEC 2019","authors":"Gireendra Kasmalkar, Kiran Deshpande","doi":"10.1145/3299771.3301649","DOIUrl":"https://doi.org/10.1145/3299771.3301649","url":null,"abstract":"ISEC 2019, to be held in February 2019 in Pune, has planned a Start-ups track to provide visibility to start-ups with interesting offerings related to software engineering. The report describes the process followed to select the start-ups and lists the selected startups. ISEC will provide them excellent visibility at the event with presentations in the Start-ups track and stalls to demonstrate their product.","PeriodicalId":366188,"journal":{"name":"Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124030844","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
下一页 尾页
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学术官方微信
小红书