检索结果-内蒙古大学图书馆

9th International Workshop on Variability Modelling of software-Intensive systems, VaMoS 2015

作者： Soares, Larissa Rocha Do Carmo Machado, Ivan De Almeida, Eduardo Santana Federal University of Bahia Salvador Bahia Brazil Fraunhofer Project Center for Software and Systems Engineering Brazil

ISBN: (纸本)9781450332736

software Product Line engineering (SPLE) emerges for software organizations interested in customized products at reasonable costs. Based on the selection of features, stakeholders can derive programs satisfying a range of functional properties and non-functional ones. The explicit definition of Non-Functional Properties (NFP) during software configuration has been considered a challenging task. Dealing with them is not well established yet, neither in theory nor in practice. In this sense, we present a framework to specify NFP for SPLE and we also propose a reuse approach that promotes the reuse of NFP values during the product configuration. We discuss the results of a case study aimed to evaluate the applicability of the proposed work. Copyright 2015 ACM.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Strategies for consistency checking on software product lines: A mapping study 15

Strategies for consistency checking on software product line...

引用

19th International Conference on Evaluation and Assessment in software engineering, EASE 2015

作者： Santos, Alcemir Rodrigues De Oliveira, Raphael Pereira De Almeida, Eduardo Santana Reuse in Software Engineering Laboratory - RiSELabs Federal University of Bahia Salvador Brazil Fraunhofer Project Center for Software and Systems Engineering Federal University of Bahia Salvador Brazil

ISBN: (纸本)9781450333504

Context. software Product Lines (SPL) has become one of the most prominents way to promote the systematic reuse of software artifacts. Like any other piece of software, with the SPL aging, it becomes necessary to manage their evolution. However, in this process, engineers might introduce divergences among the SPL artifacts. Thus, a number of initiatives address the management of such inconsistencies. Objective. In this paper, we mapped the existing approaches to inconsistency management within SPL. Method. We used the systematic mapping study methodology. Results. We classified and performed a characterization of the approaches found, which we mangaged to arrange in three main categories. Most papers selected proposed new methods as solution research. Besides, there is still a need for validation and evaluation studies. Conclusion. We identified a lack of support for a number of activities of consistency assurance. For instance, no paper addressed the tracking of findings, decisions, and actions, as well as, few papers describing either the handling or a management policy for identified inconsistencies. Copyright 2015 ACM.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

EDXL-RESCUER ontology: An update based on faceted taxonomy approach

EDXL-RESCUER ontology: An update based on faceted taxonomy a...

引用

Brazilian Seminar on Ontologies, ONTOBRAS 2015

作者： Barros, Rebeca Kislansky, Pedro Salvador, Laís Almeida, Reinaldo Breyer, Matthias Pedraza, Laia Gasparin Vieira, Vaninha Federal University of Bahia Brazil Fraunhofer Project Center for Software and Systems Engineering UFBA Brazil VOMATEC International GmbH Germany

This paper describes an ontology created for the RESCUER1 (Reliable and Smart Crowdsourcing Solution for Emergency and Crisis Management), a project funded by the European Union and the Brazilian Ministry of Science, Technology and Innovation. RESCUER uses crowdsourcing information for supporting Industrial Parks (InPa) and Security Forces during an emergency situation. The proposal, EDXL-RESCUER ontology, is based on EDXL (Emergency Data Exchange Language), and it aims to be the RESCUER conceptual model related to the coordinating and exchanging of information with legacy systems. The ontology was evaluated with end-users during a workshop and the results show that EDXL-RESCUER is adequate for Emergency and Crisis domain in InPa and Security forces contexts. Specifically, this paper presents an update of EDXL-RESCUER ontology based on a faceted taxonomy approach.

关键词： Electronic data interchange

来源：评论

学校读者我要写书评

暂无评论

EDXL-RESCUER ontology: Conceptual model for semantic integration 12

EDXL-RESCUER ontology: Conceptual model for semantic integra...

引用

12th International Conference on Information systems for Crisis Response and Management, ISCRAM 2015

作者： Barros, Rebeca Kislansky, Pedro Salvador, Laís Almeida, Reinaldo Breyer, Matthias Gasparin, Laia Federal University of Bahia Fraunhofer Project Center for Software and Systems Engineering UFBA Brazil Federal University of Bahia Brazil VOMATEC International GmbH Germany

ISBN: (纸本)9788271177881

This paper describes an ontology created for the RESCUER1 (Reliable and Smart Crowdsourcing Solution for Emergency and Crisis Management), a project funded by the European Union and the Brazilian Ministry of Science, Technology and Innovation, it uses crowdsourcing information for supporting Industrial Parks (InPa) and Security Forces during an emergency situation. The proposal, EDXL-RESCUER ontology, is based on EDXL (Emergency Data Exchange Language), and it aims to be the RESCUER conceptual model related to the coordinating and exchanging of information with legacy systems. The ontology was evaluated with end users during a workshop and the results show that EDXL-RESCUER is adequate for Emergency and Crisis domain in InPa and Security forces contexts.

关键词： Electronic data interchange

来源：评论

学校读者我要写书评

暂无评论

A balanced decomposition approach to real-time visualization of large vector maps in CyberGIS

引用

Frontiers of Computer Science 2015年第3期9卷 442-455页

作者： Mingqiang GUO Ying HUANG Zhong XIE Faculty of Information and Engineering China University of Geosciences Wuhan 430074 China Geographic Information Systems Software and Application Project Research Center of the Educational Department China University of Geosciences Wuhan 430074 China

With the dramatic development of spatial data in- frastructure, CyberGIS has become significant for geospatial data sharing. Due to the large number of concurrent users and large volume of vector data, CyberGIS faces a great chal- lenge in how to improve performance. The real-time visual- ization of vector maps is the most common function in Cyber- GIS applications, and it is time-consuming especially when the data volume becomes large. So, how to improve the effi- ciency of visualization of large vector maps is still a signif- icant research direction for GIScience scientists. In this re- search, we review the existing three optimization strategies, and determine that the third category strategy （i.e., parallel optimization） is appropriate for the real-time visualization of large vector maps. One of the key issues of parallel optimiza- tion is how to decompose the real-time visualization tasks into balanced sub tasks while taking into consideration the spatial heterogeneous characteristics. We put forward some rules that the decomposition should conform to, and design a real-time visualization framework for large vector maps. We focus on a balanced decomposition approach that can assure efficiency and effectiveness. Considering the spatial hetero- geneous characteristic of vector data, we use a ＂horizontal grid, vertical multistage＂ approach to construct a spatial point distribution information grid. The load balancer analyzes the spatial characteristics of the map requests and decomposes the real-time viewshed into multiple balanced sub ***, all the sub viewsheds are distributed to multiple server nodes to be executed in parallel, so as to improve the real- time visualization efficiency of large vector maps. A group of experiments have been conducted by us. The analysis results demonstrate that the approach proposed in this research has the ability of balanced decomposition, and it is efficient and effective for all geometry types of vector data.

关键词： real-time visualization large vector map bal-anced decomposition CyberGIS load balance

来源：评论

学校读者我要写书评

暂无评论

Towards a perspective-based usage of mobile failure patterns to focus quality assurance 7

Towards a perspective-based usage of mobile failure patterns...

引用

7th International Conference on software Quality Days, SWQD 2015

作者： Holl, Konstantin Elberzhager, Frank Vieira, Vaninha Fraunhofer Institute for Experimental Software Engineering IESE University of Innsbruck Fraunhofer-Platz 1 Kaiserslautern67663 Germany Fraunhofer Project Center for Software and Systems Engineering at UFBA Federal University of Bahia Av. Ademar de Barros 500 Ondina Salvador-BA 40110-170 Innsbruck Brazil

ISBN: (纸本)9783319132501

The use of mobile applications for business tasks calls for effective quality assurance during development to prevent potential failures of the mobile application and the consequential costs. Essential activities of quality assurance are to inspect the requirements specification and to test the realized mobile application. Both activities ideally benefit from the knowledge of typical failure patterns in order to guide quality assurance engineers and to focus the quality assurance, i.e., to direct the attention of quality assurance on these failure patterns. For this purpose, a mobile-specific failure pattern classification was derived in previous work. In this paper, we introduce an initial quality assurance approach, which considers inspection and testing in a combined way and methodically uses the classification within the mobile context. The developed method FIT4Apps, which is based on the flexible, efficient reading technique perspective-based reading, allows purposeful use of the proposed failure pattern classification. As proof of concept, we developed a tool prototype, which generates basic perspective-based scenarios considering the derived failure pattern classification in order to support inspection and testing activities. © Springer International Publishing Switzerland 2015.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Domain-specific model checking for cyber-physical systems 12

Domain-specific model checking for cyber-physical systems

引用

12th Workshop on Model-Driven engineering, Verification and Validation, MoDeVVa 2015

作者： Gerking, Christopher Schäfer, Wilhelm Dziwok, Stefan Heinzemann, Christian Software Engineering Group Heinz Nixdorf Institute University of Paderborn Paderborn33102 Germany Software Engineering Project Group Mechatronic Systems Design Fraunhofer IPT Paderborn33102 Germany

Cyber-physical systems (CPS) require model checking to guarantee the functional correctness of software models, providing counterexamples in case of violations. Domain-specific model checking (DSMC) allows to apply model checking to specific application domains. DSMC hides the complexity of using a model checker by translating from a domain-specific modeling language (DSML) to the model checker's input language, and by translating counterexamples back to the domain-specific level. Implementing DSMC is challenging for CPS due to the large differences between DSMLs and the input language of a model checker. In this paper, we present a successful application of DSMC to MECHATRONICUML, a DSML for the software design of CPS, using the model checker UPPAAL. As a key benefit, our approach is able to translate counterexamples back to the domain-specific level even in case of large differences between DSML and the model checker's input language. We show the correctness of our approach using a case study from the area of car-2-car communication.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Analyzing distributions of emails and commits from OSS contributors through mining software repositories: An exploratory study 17

Analyzing distributions of emails and commits from OSS contr...

引用

17th International Conference on Enterprise Information systems, ICEIS 2015

作者： Farias, Mário Novais, Renato Ortins, Paulo Colaço, Methanias Mendonça, Manoel Federal Institute of Bahia Salvador Brazil Federal Institute of Sergipe São Cristóvão Brazil Fraunhofer Project Center for Software and Systems Engineering Bahia Brazil

ISBN: (纸本)9789897580963

Context: Distributed software development is a modern practice in software industry. This is especially true in Open Source software (OSS) community. In this context, developers are normally distributed around the world. In addition, most of them work for free and without or with low coordinating. Understanding how developers' practices are on those projects may guide communities to successfully manage their projects. Goal: We mined two repositories of the Apache Httpd project in order to gather information about its developers' behavior. Method: We developed an approach to cross data gathered from mail list and source code repository through mining techniques. The approach uses software visualization to analyze the mined data. We conducted an experimental evaluation of the approach to assess the behavioral patterns from OSS development community. Results: Our results show Apache developers' behavior patterns. In addition, we deepen the analysis of the Preferred Representational System of four top developers presented by Colaço et. al in (Colaço et al., 2010). Conclusion: The use of data mining and software visualization to analyze data from different sources can spot important properties of development processes. Copyright © 2015 SCITEPRESS - Science and Technology Publications.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Using a multi-method approach to understand agile software product lines

Using a multi-method approach to understand agile software p...

引用

作者： Da Silva, Ivonei Freitas Da Mota Silveira Neto, Paulo Anselmo O'Leary, Pádraig De Almeida, Eduardo Santana De Lemos Meira, Silvio Romero Recife Brazil Salvador Brazil Fraunhofer Project Center for Software and Systems Engineering Salvador Brazil Irish Software Engineering Research Centre Centre for Applied Research in Connected Health University of Limerick Ireland Western Paraná State University Cascavel Brazil

Context: software product lines (SPLs) and Agile are approaches that share similar objectives. The main difference is the way in which these objectives are met. Typically evidence on what activities of Agile and SPL can be combined and how they can be integrated stems from different research methods performed separately. The generalizability of this evidence is low, as the research topic is still relatively new and previous studies have been conducted using only one research method. Objective: This study aims to increase understanding of Agile SPL and improve the generalizability of the identified evidence through the use of a multi-method approach. Method: Our multi-method research combines three complementary methods (Mapping Study, Case Study and Expert Opinion) to consolidate the evidence. Results: This combination results in 23 findings that provide evidence on how Agile and SPL could be combined. Conclusion: Although multi-method research is time consuming and requires a high degree of effort to plan, design, and perform, it helps to increase the understanding on Agile SPL and leads to more generalizable evidence. The findings confirm a synergy between Agile and SPL and serve to improve the body of evidence in Agile SPL. When researchers and practitioners develop new Agile SPL approaches, it will be important to consider these synergies. © 2014 Elsevier B.V. All rights reserved.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Investigating bias in the search phase of software engineering secondary studies 18

Investigating bias in the search phase of Software Engineeri...

引用

18th Ibero-American Conference on software engineering, CIBSE 2015

作者： Santos, José Amancio Macedo Santos, Alcemir Rodrigues De Mendonça, Manoel Gomes Technology Department State University of Feira de Santana Bahia Brazil Reuse in Software Engineering Lab RiSE Labs Federal University of Bahia Bahia Brazil Fraunhofer Project Center for Software and Systems Engineering Federal University of Bahia Bahia Brazil

ISBN: (纸本)9789972825804

Context. Researchers are increasingly resorting of secondary studies (e.g. systematic literature reviews and mapping studies) in software engineering. This method is strongly dependent on the source of primary studies adopted, which is a bias. We did not find guidelines or benchmarks to evaluate the sources in a systematic way. Objective. In this paper we aim to tackle the selection of electronic data sources while conducting such kind of studies evaluating the equilibrium between the volume and number of relevant papers. Method. In this sense, we proceed towards a secondary study to analyze the overlapping of three different electronic data sources. We also compared our results with other similar studies. Results. Our results show minimum overlapping and no effortless combination of electronic data sources at all. Conclusion. We conclude that researchers shall resort of completeness to work with a feasible set of papers to review. Specially in secondary studies adopting general and no standardized terms. Copyright © 2015 by the authors.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：