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

International Conference on Evaluation of Novel Approaches to Software Engineering最新文献

筛选
英文 中文
Formal Analysis of Objects State Changes and Transitions 对象状态变化和转换的形式化分析
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-25 DOI: 10.5220/0004099502490256
Uldis Donins, J. Osis, Erika Asnina, A. Jansone
{"title":"Formal Analysis of Objects State Changes and Transitions","authors":"Uldis Donins, J. Osis, Erika Asnina, A. Jansone","doi":"10.5220/0004099502490256","DOIUrl":"https://doi.org/10.5220/0004099502490256","url":null,"abstract":"Event-driven software systems continuously wait for occurrence of some external or internal events. When such event is received and recognized, the system reacts by performing corresponding computations which may include generation of events that trigger computation in other components. The response to the received event depends on the current state of the system and underlying objects and can include a change of state leading to a state transition. The state changes and transitions within a system can be formally analysed by using Topological functioning model. It captures system functioning specification in the form of topological space consisting of functional features and cause-and-effect relations among them and is represented in a form of directed graph. The functional features together with topological relationships contain the necessary information to create State diagram which reflects the state changes within system.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125976499","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}
引用次数: 4
Translation of Heterogeneous Requirements Meta-Models Through a Pivot Meta-Model 通过枢轴元模型转换异构需求元模型
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.5220/0006789903760382
Imed Eddine Saidi, M. Hamlaoui, T. Dkaki, N. Zarour, Pierre-Jean Charrel
{"title":"Translation of Heterogeneous Requirements Meta-Models Through a Pivot Meta-Model","authors":"Imed Eddine Saidi, M. Hamlaoui, T. Dkaki, N. Zarour, Pierre-Jean Charrel","doi":"10.5220/0006789903760382","DOIUrl":"https://doi.org/10.5220/0006789903760382","url":null,"abstract":"Companies use these different approaches to elicit, specify, analyse and validate their requirements in different contexts. The globalization and the rapid development of information technologies sometimes require companies to work together in order to achieve common objectives as quickly as possible. We propose a Unified Requirements Engineering meta-model (UREM) that allows cooperation in the requirements engineering process between heterogeneous RE (Requirement Engineering) models. In this paper, we explore UREM as a pivot meta-model to ensure interoperability between heterogeneous RE models.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125169587","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 Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process 详细分析沙特阿拉伯文化对需求工程过程的影响
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.1007/978-3-030-22559-9_11
Tawfeeq Alsanoosy, M. Spichkova, James Harland
{"title":"A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process","authors":"Tawfeeq Alsanoosy, M. Spichkova, James Harland","doi":"10.1007/978-3-030-22559-9_11","DOIUrl":"https://doi.org/10.1007/978-3-030-22559-9_11","url":null,"abstract":"","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125668053","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}
引用次数: 4
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models 基于极简定性模型的信息物理特征协调的形式化验证
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.1007/978-3-030-22559-9_12
H. Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
{"title":"Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models","authors":"H. Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder","doi":"10.1007/978-3-030-22559-9_12","DOIUrl":"https://doi.org/10.1007/978-3-030-22559-9_12","url":null,"abstract":"","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128396114","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
GenesLove.Me 2.0: Improving the Prioritization of Genetic Variations GenesLove。Me 2.0:改进遗传变异的优先排序
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.1007/978-3-030-22559-9_14
José Fabián Reyes Román, S. AlbertoGarcía, U. Rueda, Ó. Pastor
{"title":"GenesLove.Me 2.0: Improving the Prioritization of Genetic Variations","authors":"José Fabián Reyes Román, S. AlbertoGarcía, U. Rueda, Ó. Pastor","doi":"10.1007/978-3-030-22559-9_14","DOIUrl":"https://doi.org/10.1007/978-3-030-22559-9_14","url":null,"abstract":"","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"11 28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124240832","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
Risk-Based Elicitation of Security Requirements According to the ISO 27005 Standard 根据ISO 27005标准，基于风险的安全要求引出
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.1007/978-3-030-22559-9_4
Roman Wirtz, M. Heisel, Angela Borchert, Rene Meis, Aida Omerovic, K. Stølen
{"title":"Risk-Based Elicitation of Security Requirements According to the ISO 27005 Standard","authors":"Roman Wirtz, M. Heisel, Angela Borchert, Rene Meis, Aida Omerovic, K. Stølen","doi":"10.1007/978-3-030-22559-9_4","DOIUrl":"https://doi.org/10.1007/978-3-030-22559-9_4","url":null,"abstract":"","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114858167","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}
引用次数: 4
An Approach to Prioritize Classes in a Multi-objective Software Maintenance Framework 多目标软件维护框架中类的优先排序方法
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.5220/0006631902150222
M. Mohan, D. Greer
{"title":"An Approach to Prioritize Classes in a Multi-objective Software Maintenance Framework","authors":"M. Mohan, D. Greer","doi":"10.5220/0006631902150222","DOIUrl":"https://doi.org/10.5220/0006631902150222","url":null,"abstract":": Genetic algorithms have become popular in automating software refactoring and an increasing level of attention is being given to the use of multi-objective approaches. This paper investigated the use of a mul-ti-objective genetic algorithm to automate software refactoring using a purpose built tool, MultiRefactor. The tool used a metric function to measure quality in a software system and tested a second objective to measure the importance of the classes being refactored. This priority objective takes as input a set of classes to favor and, optionally, a set of classes to disfavor as well. The multi-objective setup refactors the input program to improve its quality using the quality objective, while also focusing on the classes specified by the user. An experiment was constructed to measure the multi-objective approach against the alternative mono-objective approach that does not use an objective to measure priority of classes. The two approaches were tested on six different open source Java programs. The multi-objective approach was found to give significantly better priority scores across all inputs in a similar time, while also generating improvements in the quality scores.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132763663","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
Incremental Bidirectional Transformations: Comparing Declarative and Procedural Approaches Using the Families to Persons Benchmark 增量双向转换:使用家庭到个人基准比较声明性和程序性方法
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.1007/978-3-030-22559-9_5
B. Westfechtel, Thomas Buchmann
{"title":"Incremental Bidirectional Transformations: Comparing Declarative and Procedural Approaches Using the Families to Persons Benchmark","authors":"B. Westfechtel, Thomas Buchmann","doi":"10.1007/978-3-030-22559-9_5","DOIUrl":"https://doi.org/10.1007/978-3-030-22559-9_5","url":null,"abstract":"","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"36 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116644090","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}
引用次数: 9
Crowdsourced Reverse Engineering: Experiences in Applying Crowdsourcing to Concept Assignment 众包逆向工程:将众包应用于概念作业的经验
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.1007/978-3-030-22559-9_10
Sebastian Heil, Valentin Siegert, M. Gaedke
{"title":"Crowdsourced Reverse Engineering: Experiences in Applying Crowdsourcing to Concept Assignment","authors":"Sebastian Heil, Valentin Siegert, M. Gaedke","doi":"10.1007/978-3-030-22559-9_10","DOIUrl":"https://doi.org/10.1007/978-3-030-22559-9_10","url":null,"abstract":"","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134188871","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
Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints 具有重构约束的多核实时系统的可移植综合
International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2018-03-23 DOI: 10.1007/978-3-030-22559-9_8
Wafa Lakhdhar, Rania Mzid, M. Khalgui, Georg Frey
{"title":"Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints","authors":"Wafa Lakhdhar, Rania Mzid, M. Khalgui, Georg Frey","doi":"10.1007/978-3-030-22559-9_8","DOIUrl":"https://doi.org/10.1007/978-3-030-22559-9_8","url":null,"abstract":"","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132133153","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
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信