arXiv: Software Engineering最新文献

Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study Dataset 面向需求工程的自然语言处理(NLP):一个系统映射研究数据集

arXiv: Software Engineering Pub Date : 2020-07-03 DOI: 10.17632/ZS9VKK7SB7.1

Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, R. Batista-Navarro

{"title":"Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study Dataset","authors":"Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, R. Batista-Navarro","doi":"10.17632/ZS9VKK7SB7.1","DOIUrl":"https://doi.org/10.17632/ZS9VKK7SB7.1","url":null,"abstract":"Natural language processing supported requirements engineering is an area of research and development that seeks to apply NLP techniques, tools and resources to a variety of requirements documents or artifacts to support a range of linguistic analysis tasks performed at various RE phases. Such tasks include detecting language issues, identifying key domain concepts and establishing traceability links between requirements. This article surveys the landscape of NLP4RE research to understand the state of the art and identify open problems. The systematic mapping study approach is used to conduct this survey, which identified 404 relevant primary studies and reviewed them according to five research questions, cutting across five aspects of NLP4RE research, concerning the state of the literature, the state of empirical research, the research focus, the state of the practice, and the NLP technologies used. Results: 1) NLP4RE is an active and thriving research area in RE that has amassed a large number of publications and attracted widespread attention from diverse communities; 2) most NLP4RE studies are solution proposals having only been evaluated using a laboratory experiment or an example application; 3) most studies have focused on the analysis phase, with detection as their central linguistic analysis task and requirements specification as their commonly processed document type; 4) 130 new tools have been proposed to support a range of linguistic analysis tasks, but there is little evidence of adoption in the long term, although some industrial applications have been published; 5) 140 NLP techniques, 66 NLP tools and 25 NLP resources are extracted from the selected studies.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116367885","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

Basis to Develop a Platform for Multiple-Scale Complex Systems Modeling and Visualization: MoNet 开发多尺度复杂系统建模和可视化平台的基础:莫奈

arXiv: Software Engineering Pub Date : 2019-04-30 DOI: 10.20944/PREPRINTS201904.0326.V1

Gerardo L. Febres

{"title":"Basis to Develop a Platform for Multiple-Scale Complex Systems Modeling and Visualization: MoNet","authors":"Gerardo L. Febres","doi":"10.20944/PREPRINTS201904.0326.V1","DOIUrl":"https://doi.org/10.20944/PREPRINTS201904.0326.V1","url":null,"abstract":"This work presents some characteristics of MoNet, a computerized platform for the modeling and visualization of complex systems. Emphasis is on the ideas that allowed the successful progressive development of this modeling platform, which goes along with the implementation of applications to the modeling of several studied systems. The platform has the capacity to represent different aspects of systems modeled at different observation scales. This tool offers advantages in the sense of favoring the perception of the phenomenon of the emergence of information, associated with changes of scale. Some criteria used for the construction of this modeling platform are included. The power of current computers has made practical representing graphic resources such as shapes, line thickness, overlaying-text tags, colors and transparencies, in the graphical modeling of systems made up of many elements. By visualizing diagrams conveniently designed to highlight contrasts, these modeling platforms allow the recognition of patterns that drive our understanding of systems and their structure. Graphs that reflect the benefits of the tool regarding the visualization of systems at different scales of observation are presented to illustrate the application of the platform.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127759508","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

Jolie Static Type Checker: a prototype 朱莉静态类型检查器:一个原型

arXiv: Software Engineering Pub Date : 2017-02-23 DOI: 10.18255/1818-1015-2017-6-704-717

D. Carvalho, M. Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov

引用次数: 4

Reproducibility in Research: Systems, Infrastructure, Culture 研究中的再现性:系统、基础设施、文化

arXiv: Software Engineering Pub Date : 2015-03-09 DOI: 10.5334/JORS.73

Tom Crick, B. Hall, Samin S. Ishtiaq

{"title":"Reproducibility in Research: Systems, Infrastructure, Culture","authors":"Tom Crick, B. Hall, Samin S. Ishtiaq","doi":"10.5334/JORS.73","DOIUrl":"https://doi.org/10.5334/JORS.73","url":null,"abstract":"The reproduction and replication of research results has become a major issue for a number of scientific disciplines. In computer science and related computational disciplines such as systems biology, the challenges closely revolve around the ability to implement (and exploit) novel algorithms and models. Taking a new approach from the literature and applying it to a new codebase frequently requires local knowledge missing from the published manuscripts and transient project websites. Alongside this issue, benchmarking, and the lack of open, transparent and fair benchmark sets present another barrier to the verification and validation of claimed results. \u0000In this paper, we outline several recommendations to address these issues, driven by specific examples from a range of scientific domains. Based on these recommendations, we propose a high-level prototype open automated platform for scientific software development which effectively abstracts specific dependencies from the individual researcher and their workstation, allowing easy sharing and reproduction of results. This new e-infrastructure for reproducible computational science offers the potential to incentivise a culture change and drive the adoption of new techniques to improve the quality and efficiency -- and thus reproducibility -- of scientific exploration.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115326540","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}

引用次数: 17

Proceedings 1st Workshop on Formal Integrated Development Environment 正式集成开发环境第一研讨会论文集

arXiv: Software Engineering Pub Date : 2014-04-06 DOI: 10.4204/EPTCS.149

Catherine Dubois, D. Giannakopoulou, D. Méry

引用次数: 3

Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures 第11届软件组件和体系结构的正式工程方法国际研讨会论文集

arXiv: Software Engineering Pub Date : 2014-04-01 DOI: 10.4204/EPTCS.147

Bara Buhnova, Lucia Happe, Jan Kofrovn

{"title":"Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures","authors":"Bara Buhnova, Lucia Happe, Jan Kofrovn","doi":"10.4204/EPTCS.147","DOIUrl":"https://doi.org/10.4204/EPTCS.147","url":null,"abstract":"The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for component-based software engineering. \u0000Component-based software design has received considerable attention in industry and academia in the past decade. In recent years, with the emergence of new platforms (such as smartphones), new areas advocating software correctness along with new challenges have appeared. These include development of new methods and adapting existing ones to accommodate unique features of the platforms, such as inherent distribution, openness, and continuous migration. On the other hand, with the growing power of computers, more and more is possible with respect to practical applicability of modelling and specification methods as well as verification tools to real-life software, i.e, to scale to more complex systems. \u0000FESCA aims to address the open question of how formal methods can be applied effectively to these new contexts and challenges. The workshop is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130316047","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

Using formal specifications to support model based testing ASDSpec : a tool combining the best of two techniques 使用正式的规范来支持基于模型的测试ASDSpec:结合了两种技术中最好的一种工具

arXiv: Software Engineering Pub Date : 2014-03-27 DOI: 10.4204/EPTCS.141.1

van der Ap Arjan Meer, R. Kherrazi, M. Hamilton

引用次数: 0

Proceedings First Latin American Workshop on Formal Methods 第一届拉丁美洲正式方法研讨会论文集

arXiv: Software Engineering Pub Date : 2014-01-02 DOI: 10.4204/EPTCS.139

Nazareno Aguirre, L. Ribeiro

引用次数: 0

Proceedings 1st Workshop on Advances in Systems of Systems 第一届系统的系统进展研讨会论文集

arXiv: Software Engineering Pub Date : 2013-11-13 DOI: 10.4204/EPTCS.133

K. Larsen, Axel Legay, Ulrik Nyman

引用次数: 0

Software Engineering as Instrumentation for the Long Tail of Scientific Software 软件工程作为科学软件长尾的工具

arXiv: Software Engineering Pub Date : 2013-09-07 DOI: 10.6084/M9.FIGSHARE.791560.V1

Huang Daisie, Lapp Hilmar

{"title":"Software Engineering as Instrumentation for the Long Tail of Scientific Software","authors":"Huang Daisie, Lapp Hilmar","doi":"10.6084/M9.FIGSHARE.791560.V1","DOIUrl":"https://doi.org/10.6084/M9.FIGSHARE.791560.V1","url":null,"abstract":"The vast majority of the long tail of scientific software, the myriads of tools that implement the many analysis and visualization methods for different scientific fields, is highly specialized, purpose-built for a research project, and has to rely on community uptake and reuse for its continued development and maintenance. Although uptake cannot be controlled over even guaranteed, some of the key factors that influence whether new users or developers decide to adopt an existing tool or start a new one are about how easy or difficult it is to use or enhance a tool for a purpose for which it was not originally designed. The science of software engineering has produced techniques and practices that would reduce or remove a variety of barriers to community uptake of software, but for a variety of reasons employing trained software engineers as part of the development of long tail scientific software has proven to be challenging. As a consequence, community uptake of long tail tools is often far more difficult than it would need to be, even though opportunities for reuse abound. We discuss likely reasons why employing software engineering in the long tail is challenging, and propose that many of those obstacles could be addressed in the form of a cross-cutting non-profit center of excellence that makes software engineering broadly accessible as a shared service, conceptually and in its effect similar to shared instrumentation.","PeriodicalId":381434,"journal":{"name":"arXiv: Software Engineering","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115079026","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