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

IEEE First Summer School on Smart Cities (S3C)

作者： P. Jorge Filho Paulo Simões Pedro O. Raimundo Renato Novais Vaninha Vieira Manoel Mendonça Fraunhofer Project Center for Software and Systems Engineering at UFBA Parque Tecnologico de Salvador Avenida Luiz Viana Filho Salvador Bahia Brazil Department of Computer Science Rua Barao de Jeremoabo s/n - Ondina Federal University of Bahia Salvador Bahia Brazil Department of Computer Science R. Emídio dos Santos s/n - Barbalho Federal Institute of Bahia Salvador Bahia Brazil

Emergencies often happen in a random and unexpected way, and operational forces must take immediate actions to reduce damages to the affected properties and people. Contextual information provides emergency response teams with an overview of the ongoing emergency and allows better decision making, such as the coordination of operational forces and resources provisioning. In this paper, we present the Emergency State Builder (ESB), acentral component we designed to aggregate contextual information about emergencies from multiple data sources with emphasis on fires, explosions, gas leaks and environmental damage incidents. The ESB is our answer to the challenge and providing timely, reliable and relevant contextual information to other components of a emergency management platform, called RESCUER, and, ultimately, to the emergency response teams. To illustrate the applicability of this work, we present how the RESCUER Public Communication module (RESCUER News) benefited from the information provided by ESB.

关键词： Emergency services Reliability Smart cities Aggregates Data visualization Organizations Computer science

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

OC6 Phase I: Investigating the underprediction of low-frequency hydrodynamic loads and responses of a floating wind turbine

引用

Journal of Physics: Conference Series 2020年第3期1618卷

作者： A N Robertson S Gueydon E Bachynski L Wang J Jonkman D Alarcón E Amet A Beardsell P Bonnet B Boudet C Brun Z Chen M Féron D Forbush C Galinos J Galvan P Gilbert J Gómez V Harnois F Haudin Z Hu J Le Dreff M Leimeister F Lemmer H Li G Mckinnon I Mendikoa A Moghtadaei S Netzband S Oh A Pegalajar-Jurado M Q Nguyen K Ruehl P Schünemann W Shi H Shin Y Si F Surmont P Trubat J Qwist S Wohlfahrt-Laymann National Renewable Energy Laboratory 15013 Denver W Pkwy Golden CO USA 80401 Maritime Research Institute Netherlands Haagsteeg 2 6708 PM Wageningen Netherlands Norwegian University of Science and Technology 7491 Trondheim Norway Bureau Veritas 60 avenue du Général de Gaulle 92046 Paris - La Défense DNV GL One Linear Park Avon St. Temple Quay Bristol BS2 0PS UK Siemens Digital Industries Software C/Lluis Muntadas 5 Cornellà Spain 08940 Bureau Veritas 8 avenue Jacques Cartier Atlantis - 44807 Saint-Herblain Cdx - France Ocean College Zhejiang University Zhoushan 316021 China DORIS Engineering 58a rue du Dessous des Berges 75013 Paris France Sandia National Laboratories 1515 Eubank Blvd SE Albuquerque NM 87123 DTU Wind Energy Nils Koppels Allé 403 Kgs. Lyngby DK-2800 Denmark Tecnalia Research & Innovation Parque Tecnologico Bizkaia Ed.700 48160 Derio Spain IFPEN 4 avenue de Bois Préau 92852 Rueil-Malmaison Cedex France PRINCIPIA ZAC Athelia I - 215 Voie Ariane 13705 La CIOTAT Cedex France Vulcain Ingénierie 5 rue Beffroy 92200 Neuilly-sur-Seine France School of Engineering Newcastle University Newcastle upon Tyne NE1 7RU UK EDF R&D 7 boulevard Gaspard Monge 91120 Palaiseau France Fraunhofer Inst. for Wind Energy Systems Am Luneort 100 27572 Bremerhaven Germany University of Stuttgart 70569 Stuttgart Germany Orcina Ltd. Daltongate Ulverston Cumbria LA12 7AJ UK Queen's University Belfast Belfast BT9 5AG Northern Ireland United Kingdom Hamburg University of Technology 21071 Hamburg Germany ClassNK 4-7 Kioicho Chiyodaku Tokyo Japan Universität Rostock Albert-Einstein-Str. 2 18059 Rostock Germany Dalian University of Technology No.2 Linggong Road Dalian Liaoning China 116024 University of Ulsan 93 Daehakro Namgu Ulsan 44610 South Korea Universitat Politècnica de Catalunya Jordi Girona 1-3 08034 Barcelona Spain 4Subsea Hagaløkkveien 26 1383 Asker Norway

Phase I of the OC6 project is focused on examining why offshore wind design tools underpredict the response (loads/motion) of the OC5-DeepCwind semisubmersible at its surge and pitch natural frequencies. Previous investigations showed that the underprediction was primarily related to nonlinear hydrodynamic loading, so two new validation campaigns were performed to separately examine the different hydrodynamic load components. In this paper, we validate a variety of tools against this new test data, focusing on the ability to accurately model the low-frequency loads on a semisubmersible floater when held fixed under wave excitation and when forced to oscillate in the surge direction. However, it is observed that models providing better load predictions in these two scenarios do not necessarily produce a more accurate motion response in a moored configuration.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Big Data Analytics for Earth Sciences:the EarthServer approach

引用

International Journal of Digital Earth 2016年第1期9卷 3-29页

作者： Peter Baumann Paolo Mazzetti Joachim Ungar Roberto Barbera Damiano Barboni Alan Beccati Lorenzo Bigagli Enrico Boldrini Riccardo Bruno Antonio Calanducci Piero Campalani Oliver Clements Alex Dumitrua,Mike Grant Pasquale Herzig George Kakaletris John Laxton Panagiota Koltsida Kinga Lipskoch Alireza Rezaei Mahdiraji Simone Mantovani Vlad Merticariu Antonio Messina Dimitar Misev Stefano Natali Stefano Nativi Jelmer Oosthoek Marco Pappalardo James Passmore Angelo Pio Rossi Francesco Rundo Marcus Sen Vittorio Sorbera Don Sullivan Mario Torrisi Leonardo Trovato Maria Grazia Veratelli Sebastian Wagner Large-Scale Scientific Information Systems Jacobs UniversityBremenGermany Rasdaman GmbH BremenGermany CNR-IIA National Research Council of ItalyInstitute of Atmospheric Pollution ResearchFlorenceItaly EOX IT Services GmbH ViennaAustria Consorzio COMETA CataniaItaly Division of Catania Italian National Institute for Nuclear PhysicsCataniaItaly Department of Physics and Astronomy University of CataniaCataniaItaly MEEO S.r.l. FerraraItaly Plymouth Marine Laboratory PlymouthUK Fraunhofer IGD DarmstadtGermany Athena Research and Innovation Center in Information Communication&Knowledge Technologies AthensGreece British Geological Survey EdinburghUK Software Engineering Italia S.r.l. CataniaItaly British Geological Survey KeyworthUK NASA Ames Research Center Moffett FieldCAUSA

Big Data Analytics is an emerging field since massive storage and computing capabilities have been made available by advanced *** and Environmental sciences are likely to benefit from Big Data Analytics techniques supporting the processing of the large number of Earth Observation datasets currently acquired and generated through observations and ***,Earth Science data and applications present specificities in terms of relevance of the geospatial information,wide heterogeneity of data models and formats,and complexity of ***,Big Earth Data Analytics requires specifically tailored techniques and *** EarthServer Big Earth Data Analytics engine offers a solution for coverage-type datasets,built around a high performance array database technology,and the adoption and enhancement of standards for service interaction(OGC WCS and WCPS).The EarthServer solution,led by the collection of requirements from scientific communities and international initiatives,provides a holistic approach that ranges from query languages and scalability up to mobile access and *** result is demonstrated and validated through the development of lighthouse applications in the Marine,Geology,Atmospheric,Planetary and Cryospheric science domains.

关键词： big data Big Data Analytics array databases Earth Sciences interoperability standards

来源：评论

学校读者我要写书评

暂无评论

Using EVOWAVE to analyze software evolution 17

Using EVOWAVE to analyze software evolution

引用

17th International Conference on Enterprise Information systems, ICEIS 2015

作者： Magnavita, Rodrigo Novais, Renato Mendonça, Manoel Fraunhofer Project Center for Software and Systems Engineering Bahia Brazil Computer Science Department Federal University of Bahia Bahia Brazil Software Development Area SENAI/CIMATEC Bahia Brazil Computer Science Department Federal Institute of Bahia Bahia Brazil

ISBN: (纸本)9789897580963

software evolution produces large amounts of data which software engineers need to understand for their daily activities. The use of software visualization constitutes a promising approach to help them comprehend multiple aspects of the evolving software. However, portraying all the data is not an easy task as there are many dimensions to the data (e.g. time, files, properties) to be considered. This paper presents a new software visualization metaphor inspired by concentric waves, which gives information about the software evolution in different levels of detail. This new metaphor is able to portray large amount of data and may also be used to consider different dimensions of the data. It uses the concepts of the formation of concentric waves to map software evolution data generated during the waves formation life cycle. The metaphor is useful for exploring and identifying certain patterns in the software evolution. To evaluate its applicability, we conducted an exploratory study to show how the visualization can quickly answer different questions asked by software engineers when evolving their software. Copyright © 2015 SCITEPRESS - Science and Technology Publications.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

software architecture documentation for developers: A survey

Software architecture documentation for developers: A survey

引用

software engineering 2014

作者： Rost, Dominik Naab, Matthias Lima, Crescendo Von Flach Chavez, Christina Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany Fraunhofer Project Center on Software and Systems Engineering Software Engineering Laboratory Department of Computer Science Bahia Brazil

来源：评论

学校读者我要写书评

暂无评论

Investigating the Link between User Stories and Documentation Debt on software Projects

Investigating the Link between User Stories and Documentatio...

引用

International Conference on Information Technology: New Generations (ITNG)

作者： Henrique F. Soares Nicolli S.R. Alves Thiago S. Mendes Manoel Mendonça Rodrigo O. Spínola Graduate Program in Systems and Computer at Salvador University Salvador Brazil Fraunhofer Project Center for Software and System Engineering at UFBA Salvador Brazil Federal Institute of Bahia - IFBA Salvador Brazil

Technical debt is a metaphor that describes the effect of immature artefacts in software development. One of its types is documentation debt, which can be identified by locating missing, inadequate or incomplete artefacts in software projects. Nowadays, we can observe more organizations using agile methods to support their activities. In particular, the use of user stories reduces the focus on requirement specification tasks and, as a consequence, creates difficulties that need to be overcame by the development team. In order to investigate these difficulties and assess whether they create a favourable scenario for incurring documentation debt, this paper presents the results of a literature review and an exploratory study. The results from both studies allowed us to identify a list of causes that can lead the development team to incur documentation debt when working with agile requirements. This is an important step in order to manage the technical debt from a preventive perspective.

关键词： software Documentation Bibliographies Protocols Libraries software engineering Estimation

来源：评论

学校读者我要写书评

暂无评论

Using ontologies to analyze compliance requirements of cloud-based processes

Communications in Computer and Information Science

引用

Communications in Computer and Information Science 2014年 453卷 36-51页

作者： Humberg, Thorsten Wessel, Christian Poggenpohl, Daniel Wenzel, Sven Ruhroth, Thomas Jürjens, Jan Technical University Dortmund Dortmund Germany Fraunhofer Institute for Software and Systems Engineering ISST Dortmund Germany

In recent years, the concept of cloud computing has seen a significant growth. The spectrum of available services covers most, if not all, aspects needed in existing business processes, allowing companies to outsource large parts of their IT infrastructure to cloud service providers. While this prospect might offer considerable economic advantages, it is hindered by concerns regarding information security as well as compliance issues. Relevant regulations are imposed by several sources, like legal regulations or standards for information security, amounting to an extend that makes it difficult to identify those aspects relevant for a given company. In order to support the identification of relevant regulations, we developed an approach to represent regulations in the form of ontologies, which can then be used to examine a given system for compliance requirements. Additional tool support is offered to check system models for certain properties that have been found relevant. © Springer International Publishing Switzerland 2014.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：