{"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}
{"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}
{"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}
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}
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}
{"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}
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}
{"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}
{"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}
{"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}