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

6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE 2015

作者： Luthmann, Lars Mennicke, Stephan Lochau, Malte Institute for Programming and Reactive Systems TU Braunschweig Germany Realtime Systems Lab. TU Darmstadt Germany

We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed product line testing theory relies on Modal Interface Automata (MIA) as behavioral specification formalism. MIA enrich I/O-labeled transition systems with may/must modalities to distinguish mandatory from optional behavior, thus providing a semantic notion of intrinsic behavioral variability. In particular, MIA constitute a restricted, yet fully expressive subclass of I/O-labeled modal transition systems, guaranteeing desirable refinement and compositionality properties. The resulting modal-ioco relation defined on MIA is preserved under MIA refinement, which serves as variant derivation mechanism in our product line testing theory. As a result, modal-ioco is proven correct in the sense that it coincides with traditional ioco to hold for every derivable implementation variant. Based on this result, a family-based product line conformance testing framework can be established. © L. Luthmann, S. Mennicke & M. Lochau.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2017年 1989卷 5-7页

作者： Pozin, Boris A. Cavalli, Ana Rosa Petrenko, Alexander K. Department of Information and Analytical Systems EC-leasing Co. Russia Department of Network Software TELECOM and Management SudParis France Department of System Engineering Institute of System Programming of RAS Russia

来源：评论

学校读者我要写书评

暂无评论

Automatic Clustering of Code Changes

Automatic Clustering of Code Changes

引用

International Mining Software Repositories, MSR

作者： Patrick Kreutzer Georg Dotzler Matthias Ring Bjoern M. Eskofier Michael Philippsen Programming Systems Group Friedrich-Alexander University Erlangen-Nürnberg (FAU) Germany Digital Sports Group Friedrich-Alexander University Erlangen-Nürnberg (FAU) Germany

ISBN: (纸本)9781509022427

Several research tools and projects require groups of similar code changes as input. Examples are recommendation and bug finding tools that can provide valuable information to developers based on such data. With the help of similar code changes they can simplify the application of bug fixes and code changes to multiple locations in a project. But despite their benefit, the practical value of existing tools is limited, as users need to manually specify the input data, i.e., the groups of similar code changes. To overcome this drawback, this paper presents and evaluates two syntactical similarity metrics, one of them is specifically designed to run fast, in combination with two carefully selected and self-tuning clustering algorithms to automatically detect groups of similar code changes. We evaluate the combinations of metrics and clustering algorithms by applying them to several open source projects and also publish the detected groups of similar code changes online as a reference dataset. The automatically detected groups of similar code changes work well when used as input for LASE, a recommendation system for code changes.

关键词： Computer bugs Measurement Software Clustering algorithms Bars Algorithm design and analysis Context

来源：评论

学校读者我要写书评

暂无评论

Low-complexity PDoA-based localization

Low-complexity PDoA-based localization

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Benjamin Sackenreuter Niels Hadaschik Marc Faßbinder Christopher Mutschler Locating and Comm. Sys. Dept. Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nuremberg (FAU) Germany

Localization of wireless nodes within the IoT received much attention lately. However, strong constraints on power consumption, scalability, and complexity of the nodes pose a big challenge for localization techniques. This paper presents a concept for energy-efficient low-complexity localization based on Phase Difference of Arrival (PDoA). Besides a novel method for reference transmitter selection we propose a waveform, well-suited for PDoA measurements, and evaluate its ranging performance. We compare multiple signal classification (MUSIC), linear fitting, and mean phase difference and compare their estimation variance to the Cramer Rao Lower Bound (CRLB). Our system concept allows for the mitigation of near-far effects for reference and tag signals at the receiver nodes, and an efficient implementation of a wideband frequency hopping scheme.

关键词： Signal to noise ratio Logic gates Transmitters Distance measurement Position measurement Phase locked loops

来源：评论

学校读者我要写书评

暂无评论

Tracing shifts in emotions in streaming social network data 22nd

Tracing shifts in emotions in streaming social network data

引用

22nd International Symposium on Methodologies for Intelligent systems, ISMIS 2015

作者： Andreasen, Troels Christiansen, Henning Have, Christian Theil Programming Logic and Intelligent Systems Roskilde University Roskilde Denmark Department of Metabolic Genetics University of Copenhagen Copenhagen Denmark

ISBN: (纸本)9783319252513

Shifts in emotions towards given topics on social media are often related to momentous real world events, and for the researcher or journalist, such changes may be the first observable sign that something interesting is going on. Further research on why a topic t suddenly has become, say, more or less popular, may involve searching for topics t′ whose co-occurrence with t have increased significantly together with the change in emotion. We hypothesize that t′ and its increasing relationship to t′ may relate to a contributing cause why the attitude towards t is changing. A method and tool is presented that monitors a stream of messages, reporting topics with changing emotions and indicating explanations by means of related topics whose increasing occurrence are taken as possible clues of why the change did happen. © Springer International Publishing Switzerland 2015.

关键词： Media streaming

来源：评论

学校读者我要写书评

暂无评论

Delta-Oriented test case prioritization for integration testing of software product lines 15

Delta-Oriented test case prioritization for integration test...

引用

19th International Software Product Line Conference, SPLC 2015

作者： Lachmann, Remo Lity, Sascha Lischke, Sabrina Beddig, Simon Schulze, Sandro Schaefer, Ina Institute of Software Engineering and Automotive Informatics Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450336130

Software product lines have potential to allow for mass customization of products. Unfortunately, the resulting, vast amount of possible product variants with commonalities and differences leads to new challenges in software testing. Ideally, every product variant should be tested, especially in safety-critical systems. However, due to the exponentially increasing number of product variants, testing every product variant is not feasible. Thus, new concepts and techniques are required to provide efficient SPL testing strategies exploiting the commonalities of software artifacts between product variants to reduce redundancy in testing. In this paper, we present an efficient integration testing approach for SPLs based on delta modeling. We focus on test case prioritization. As a result, only the most important test cases for every product variant are tested, reducing the number of executed test cases significantly, as testing can stop at any given point because of resource constraints while ensuring that the most important test cases have been covered. We present the general concept and our evaluation results. The results show a measurable reduction of executed test cases compared to single-software testing approaches. © 2015 ACM.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

Evolution of software in automated production systems: challenges and research directions

Evolution of software in automated production systems: chall...

引用

Software Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016

作者： Vogel-Heuser, Birgit Fay, Alexander Schaefer, Ina Tichy, Matthias Institute of Automation and Information Systems Technische Universität München Boltzmannstr. 15 Garching near Munich85748 Germany Institute of Automation Technology Helmut Schmidt University Holstenhofweg 85 Hamburg22043 Germany Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Mühlenpfordtstr. 23 Braunschweig38106 Germany Institute of Software Engineering and Programming Languages Universität Ulm Ulm89069 Germany

ISBN: (纸本)9783885796466

Coping with evolution in automated production systems implies cross-disciplinary challenges along the system's life-cycle for variant-rich systems of high complexity. We provide an interdisciplinary survey on challenges and research directions in the evolution of automated production systems. After an initial discussion about the nature of automated production systems and their specific development process, we sketch in this extended abstract the challenges associated with evolution in the different development phases and a couple of cross-cutting areas.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments

Bayesian recognition of human identities from continuous vis...

引用

International Conference on Design and Technology of Integrated systems in Nanoscale Era (DTIS)

作者： Frederik Gossen Chair for Programming Systems TU Dortmund University

When using today's admission control systems some kind of interaction is generally required. That is because the system needs something to check a person's identity before it allows access. Often the system will ask for a pin or a password. For many people these interactions are a problem as they might be unable interact with the system in the required way due to impairments. This can be caused by a disease such as Parkinson's or Alzheimer's or they might be unable to use their hands for other reasons. In hospitals, retirement homes or assisted living communities many people would benefit from a contactless admission control system. We propose a system that recognizes human identities from continuous geometrical features that were estimated using the Kinect 2. Those include the distance between the eyes and the estimated height of a person. A Bayesian Classifier for continuous features is used to predict people's identities. The preliminary recognition results suggest that the proposed geometrical features can contribute to reliable admission control. This work was supported by SysTeam GmbH Dortmund, Germany.

关键词： Nose Mouth Bayes methods Feature extraction Admission control Face Gaussian distribution

来源：评论

学校读者我要写书评

暂无评论

Re-engineering automation systems as dynamic software product lines 11

Re-engineering automation systems as dynamic software produc...

引用

11th Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme, MBEES 2015 - 11th Dagstuhl-Workshop on Model-Based Development of Embedded systems, MBEES 2015

作者： Lity, Sascha Burdek, Johannes Lochau, Malte Berens, Markus Schurr, Andy Schaefer, Ina Institute for Programming and Reactive Systems TU Braunschweig Germany Real-Time Systems Lab TU Darmstadt Germany Eckelmann AG Germany Institute of Software Engineering and Automotive Informatics TU Braunschweig Germany

Software engineering is an important development task in the automation domain due to the increasing number of embedded systems applied for controlling various system functions. In general, those automation systems are highly configurable, but share common functionality and engineering artifacts. If the knowledge about commonality and variability is not taken into account, this would result in a separate development process for each new system without reusing engineering artifacts. Software product line engineering is a promising approach for the development of highly configurable automation systems explicitly exploiting the knowledge about commonality and variability. In addition to the specification of the problem space, i.e., all possible system configurations derivable from a feature model, reusable engineering artifacts are defined in the solution space by incorporating variability mechanisms. In this paper, we describe the re-engineering of an existing family of automation systems, a medical device for a novel radiotherapy, i.e., as a software product line. According to the concepts of software product line engineering, we describe (1) how we created a corresponding feature model for the problem space specification, and (2) how we integrated variability modeling into existing engineering artifacts. We provide details about our real-world case study and further explain the adaptation of its re-engineered version as dynamic software product line allowing for re-configuration at runtime. © Tagungsband - Dagstuhl-Workshop MBEES 2015: Modellbasierte Entwicklung Eingebetteter Systeme XI. All rights reserved.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Revealing academic web interlinking motives through webometrics and statistical techniques: Nigerian university websites as a case study

引用

International Journal of Web Engineering and Technology 2016年第4期11卷 335-350页

作者： Nwohiri, Anthony M. Pechnikov, Andrey A. Department of Programming Technologies Faculty of Applied Mathematics and Control Processes St. Petersburg State University 7-9 Universitetskaya Naberezhnaya St. Petersburg199034 Russia Laboratory for Telecommunications Systems Institute of Applied Mathematical Research Karelian Research Centre Russian Academy of Sciences Russia 11 Pushkinskaya Street Petrozavodsk Karelia Rep.185910 Russia

The websites of the universities of Africa's most populous country Nigeria were examined. The goal was to unearth the reasons why external hyperlinks are placed on these sites and identify any peculiarities by geographical location. Academic website interlinking motivations were formulated. Over 6,000 hyperlinks placed on the websites of 86 Nigerian universities were categorised under these interlinking motivations. Categorising the motivations by examining the source and target pages of each hyperlink was an arduous task. Statistical analysis offered a clearer picture of the interlinking motives. A chi-squared test revealed distinctive features, which are characteristic of specific geographical regions of Nigeria. The study serves as a route to further research on feasibility of findings in other developing countries. Results obtained could be of great importance for academic webpage developers and authors. The results could modify their work towards improving the use of hyperlinks as a major communication tool on the web. Copyright © 2016 Inderscience Enterprises Ltd.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：