2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)最新文献

筛选
英文 中文
A case study for evaluating bidirectional transformations in QVT relations 评估QVT关系中双向转换的案例研究
B. Westfechtel
{"title":"A case study for evaluating bidirectional transformations in QVT relations","authors":"B. Westfechtel","doi":"10.5220/0005466801410155","DOIUrl":"https://doi.org/10.5220/0005466801410155","url":null,"abstract":"In model-driven software engineering, high-level models of a software system are eventually transformed into executable code. Model transformations constitute a key technology for model-driven software engineering. QVT Relations (QVT-R) is a language for the declarative specification of model transformations which was defined in an OMG (Object Management Group) standard. In addition to unidirectional transformations, QVT-R supports bidirectional transformations: Rather than writing two unidirectional transformations separately, the user may provide a single relational specification which may be executed in both directions. In this way, the specification of a bidirectional transformation may be simplified considerably - which is crucial e.g. for round-trip engineering. This paper investigates a case study for evaluating QVT-R's capabilities for specifying bidirectional transformations. Even in this rather simple case study, development of a bidirectional transformation turns out to be more complex than expected. Motivated by the case study, we propose extensions to QVT-R which facilitate the specification of bidirectional transformations considerably.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124637410","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
The algorithm of transformation from UML sequence diagrams to the Topological Functioning Model 从UML序列图到拓扑功能模型的转换算法
Viktoria Ovchinnikova, Erika Asnina
{"title":"The algorithm of transformation from UML sequence diagrams to the Topological Functioning Model","authors":"Viktoria Ovchinnikova, Erika Asnina","doi":"10.5220/0005476603770384","DOIUrl":"https://doi.org/10.5220/0005476603770384","url":null,"abstract":"It is difficult and time-consuming to migrate a legacy system to some new platform or integrate it with other software system manually. High-level abstract models (domain models) of the existing software system must be got for further merging with new domain models. TFM4MDA (Topological Functioning Modeling for Model Driven Architecture) is an approach for software development from the high level of abstraction to the lower levels. The formal TFM (Topological Functioning Model) for software system analysis can be obtained stepwise from the low levels using RE (Reverse Engineering) techniques. The algorithm for transformation from UML sequence diagrams to the TFM is suggested in this research. It is based on the previous research results. Additional information about other approaches such as MDRE (Model-Driven Reverse Engineering) and ADM (Architecture Driven Modernization) is overviewed in order to use it for further analysis and full formalization of the transformation considered in our work.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130387639","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
Certification of IPavement applications for smart cities a case study 智慧城市路面应用认证案例研究
Jesús Ramon Oviedo, Moisés Rodríguez, M. Piattini
{"title":"Certification of IPavement applications for smart cities a case study","authors":"Jesús Ramon Oviedo, Moisés Rodríguez, M. Piattini","doi":"10.5220/0005431802440249","DOIUrl":"https://doi.org/10.5220/0005431802440249","url":null,"abstract":"The installation of Intelligent Pavement (IPavement) in cities highlights the obvious need for the development of software services that can be offered by this technology. These services should be developed in conformance with international quality standards such as ISO/IEC 25000, which make it possible to give assurance that the services must established quality requirements. This paper therefore presents the environment for the quality certification of the services developed for the IPavement, created by the authors. This environment is formed by an assessment process, a quality model, and set of assessment tools. The results of a case study carried out to evaluate the quality of a service developed for IPavement are also set out; this study has tested the practical application of the environment created and has proven the need to develop tools to assist in the evaluation of the quality IPavement services.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126517460","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
Software cost estimation for global software development a systematic map and review study 软件成本估算为全球软件开发提供了系统的地图和回顾研究
Manal El Bajta, A. Idri, J. Alemán, J. Nicolás, J. Álvarez
{"title":"Software cost estimation for global software development a systematic map and review study","authors":"Manal El Bajta, A. Idri, J. Alemán, J. Nicolás, J. Álvarez","doi":"10.5220/0005371501970206","DOIUrl":"https://doi.org/10.5220/0005371501970206","url":null,"abstract":"Software cost estimation plays a central role in the success of software project management in the context of global software development (GSD). The importance of mastering software cost estimation may appear to be obvious. However, as regards the issue of customer satisfaction, end-users are often unsatisfied with software project management results. In this paper, a systematic mapping study (SMS) is carried out with the aim of summarising software cost estimation in the context of GSD research by answering nine mapping questions. A total, of 16 articles were selected and classified according to nine criteria: publication source, publication year, research type, research approach, contribution type, software cost estimation techniques, software cost estimation activity, cost drivers and cost estimation performances for GSD projects. The results show that the interest in estimating software cost for GSD projects has increased in recent years and reveal that conferences are the most frequently targeted publications. Most software cost estimation for GSD research has focused on theory. The dominant contribution type of software cost estimation for GSD research is that of models, while the predominant activity was identified as being software development cost. Identifying empirical solutions to address software cost estimation for GSD is a promising direction for researchers.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131431264","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
Identifying quality characteristic interactions during software development 识别软件开发过程中的质量特征交互
Gabriel Alberto García-Mireles, M. Rubia, Félix García, M. Piattini
{"title":"Identifying quality characteristic interactions during software development","authors":"Gabriel Alberto García-Mireles, M. Rubia, Félix García, M. Piattini","doi":"10.5220/0005351800780089","DOIUrl":"https://doi.org/10.5220/0005351800780089","url":null,"abstract":"Quality demands on current and future software systems need to address diverse quality characteristics considered important for the diversity of stakeholders. Dealing with software quality may require achieving a balance between relevant quality characteristics. Current literature shows that software organizations barely handle them. However, the lack of management of these interactions may be a causal factor in failed projects. In this paper, we present a process for monitoring interactions between quality requirements based on an interaction model of quality characteristics. This process is part of the SQIMF framework and supports the identification and characterization of the interactions between quality requirements. An exploratory case study was conducted in order to understand the factors that could influence the interactions that occur.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133573704","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
A defect dependency based approach to improve software quality in integrated software products 在集成软件产品中改进软件质量的基于缺陷依赖的方法
Sai Anirudh Karre, Y. R. Reddy
{"title":"A defect dependency based approach to improve software quality in integrated software products","authors":"Sai Anirudh Karre, Y. R. Reddy","doi":"10.5220/0005368801100117","DOIUrl":"https://doi.org/10.5220/0005368801100117","url":null,"abstract":"Integrated software products are complex in design. They are prone to defects caused by integrated and non-integrated modules of the entire integrated software suite. In such software products, a small proportion of defects are fixed as soon as they are reported. Rest of the defects are targeted for fixes in future product release cycles. Among such targeted defects, most of them seem to be insignificant and innocuous in the current version but have the potential to become acute in future versions. In this paper, we propose an approach to study defect dependency of the reported defect using a dependency metric. Identifying the dependency of a defect in an integrated product suite can help the product stake-owners to prioritize them and help improve software quality.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115662012","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
Cost-effective functional testing of reactive software 响应式软件的成本效益功能测试
R. Venkatesh, U. Shrotri, Amey Zare, Supriya Agrawal
{"title":"Cost-effective functional testing of reactive software","authors":"R. Venkatesh, U. Shrotri, Amey Zare, Supriya Agrawal","doi":"10.5220/0005347800670077","DOIUrl":"https://doi.org/10.5220/0005347800670077","url":null,"abstract":"Creating test cases to cover all functional requirements of real-world systems is hard, even for domain experts. Any method to generate functional test cases must have three attributes: (a) an easy-to-use formal notation to specify requirements, from a practitioner's point of view, (b) a scalable test-generation algorithm, and (c) coverage criteria that map to requirements. In this paper we present a method that has all these attributes. First, it includes Expressive Decision Table (EDT), a requirement specification notation designed to reduce translation efforts. Second, it implements a novel scalable row-guided random algorithm with fuzzing (RGRaF)(pronounced R-graph) to generate test cases. Finally, it implements two new coverage criteria targeted at requirements and requirement interactions. To evaluate our method, we conducted experiments on three real-world applications. In these experiments, RGRaF achieved better coverage than pure random test case generation. When compared with manual approach, our test cases subsumed all manual test cases and achieved up to 60% effort savings. More importantly, our test cases, when run on code, uncovered a bug in a post-production sub-system and captured three missing requirements in another.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131494830","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
A systematic Method for Architecture Recovery 一种系统的架构恢复方法
F. Solms
{"title":"A systematic Method for Architecture Recovery","authors":"F. Solms","doi":"10.5220/0005383302150222","DOIUrl":"https://doi.org/10.5220/0005383302150222","url":null,"abstract":"Software architecture recovery aims to reverse engineer a software architecture description from the system artifacts (e.g. source code) in order to facilitate software architecture analysis, improvement and control. Whilst there are a number of software architecture recovery methods, none of the current methods focus purely on those aspects of a system which address non-functional requirements. This paper introduces the Systematic Method for Software Architecture Recovery (SyMAR). SyMAR is an inspection method used to recover a software architecture description consistent with the view of a software architecture providing a specification of a software infrastructure addressing non-functional requirements within which application functionality addressing functional requirements can be deployed and executed. The method has been applied to a number of industrial architecture recovery projects. This paper discusses the experiences from these projects and illustrates the method using one of these projects as a case study.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133780943","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}
引用次数: 10
Insights into transforming a Linux wireless device driver to run on a bare machine 将Linux无线设备驱动程序转换为在裸机上运行的见解
William Agosto-Padilla, R. Karne, A. Wijesinha
{"title":"Insights into transforming a Linux wireless device driver to run on a bare machine","authors":"William Agosto-Padilla, R. Karne, A. Wijesinha","doi":"10.5220/0005470002950300","DOIUrl":"https://doi.org/10.5220/0005470002950300","url":null,"abstract":"Developing device drivers is often tedious and error-prone. Drivers for bare machine applications that run without an OS have been previously written by directly using specification documents. Transformation is an alternate approach that attempts to develop a bare machine driver by using existing code for an OS driver. We investigate the transformation of a Broadcom Linux 802.11n wireless device driver to a bare machine driver. As a first step towards understanding the transformation, we study the functions and OS dependencies of the Linux driver. The driver module is analyzed by examining its interaction with other modules, providing details of its key elements and code sizes, and by comparing code sizes with its counterpart Windows driver. We also discuss design issues that will be useful for developing device drivers that are independent of any operating system, kernel, or embedded system.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"506 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123064197","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 simple Erlang API for handling DDS data types and Quality of Service parameters 一个简单的Erlang API,用于处理DDS数据类型和服务质量参数
W. Helali, Khaled Barbaria, Belhassen Zouari
{"title":"A simple Erlang API for handling DDS data types and Quality of Service parameters","authors":"W. Helali, Khaled Barbaria, Belhassen Zouari","doi":"10.5220/0005381600190026","DOIUrl":"https://doi.org/10.5220/0005381600190026","url":null,"abstract":"The choice of the programming language impacts the efficiency of the application and the robustness of the code. The characteristics of Erlang as a functional programming language supported distributed real time computing allowed us to propose eDDS: an Erlang based middleware compliant to the Data Distribution Service (DDS) standard that providing a strong Quality of Service (QoS) support. When the performance and the compliance to the norm have been easy achieved in particular on defining and setting QoS parameters, the lack of efficient and user-friendly support for data type management has been noticed. In this paper, we will explain this type checking problem and how we solved it.","PeriodicalId":319854,"journal":{"name":"2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134486218","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学术文献互助群
群 号:604180095
Book学术官方微信
小红书