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

Automated learning setups in automata learning

Automated learning setups in automata learning

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Merten, Maik Isberner, Malte Howar, Falk Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany

ISBN: (纸本)9783642340253

Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

An adaptive driver alert system making use of implicit sensing and notification techniques

An adaptive driver alert system making use of implicit sensi...

引用

7th International ICST Conference on Mobile and Ubiquitous Systems, MobiQuitous 2010

作者： Beyer, Gilbert Bertolotti, Gian Mario Cristiani, Andrea Al Dehni, Shadi Programming and Software Engineering Ludwig-Maximilians-University Munich Oettingenstr. 67 80538 Munich Germany Dip. Informatica e Sistemistica Università di Pavia Via Ferrata 1 27100 Pavia Italy

ISBN: (纸本)9783642291531

In this paper we present an adaptive driver alert system that uses passive techniques for extracting psycho-physiological features from the user, and a head-up display actuator that hands preprocessed information about the driving behavior back to the user. The paper starts with background information on driver inattentiveness. That followed we present our conception of an adaptive loop with a view to improve the driver's attention. We give an overview on current research on sensor and actuator techniques that support our adaptation strategy attaining data about user drowsiness and distraction. Then we describe a suitable hardware and software solution for the proposed system, using a head-up display and vision-based sensor techniques. We close describing first tests of our system in the lab and road tests with a Ferrari car. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Computer vision

来源：评论

学校读者我要写书评

暂无评论

Cross-Language Code Analysis and Refactoring

Cross-Language Code Analysis and Refactoring

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： Philip Mayer Andreas Schroeder Chair for Programming & Software Engineering Institute for Computer Science Ludwig-Maximilians-Universität München Germany

software composed of artifacts written in multiple (programming) languages is pervasive in today's enterprise, desktop, and mobile applications. Since they form one system, artifacts from different languages reference one another, thus creating what we call semantic cross-language links. By their very nature, such links are out of scope of the individual programming language, they are ignored by most language-specific tools and are often only established -- and checked for errors -- at runtime. This is unfortunate since it requires additional testing, leads to brittle code, and lessens maintainability. In this paper, we advocate a generic approach to understanding, analyzing and refactoring cross-language code by explicitly specifying and exploiting semantic links with the aim of giving developers the same amount of control over and confidence in multi-language programs they have for single-language code today.

关键词： Semantics Java XML programming software Layout Navigation

来源：评论

学校读者我要写书评

暂无评论

Simplicity principles for plug-in development: The jABC approach

Simplicity principles for plug-in development: The jABC appr...

引用

Workshop on Developing Tools as Plug-ins (TOPI)

作者： Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Sven Jörges Tiziana Margaria Chair for Programming Systems Technical University Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the plug-in development is clearly defined: The jABC readily provides a sophisticated graphical user interface, which has been tailored to working with all kinds of directed graphs. Within this scope, plug-in development can deliberately focus on the actual functionality, like providing semantics to graphs, without having to deal with tedious but semantically irrelevant issues like user interfaces. Second, plug-in functionality can be itself conveniently modeled as a workflow within the jABC. We illustrate our approach by means of two mature plug-ins: Genesys, a plug-in that adds arbitrary code generator functionality to the jABC, and PROPHETS, a plug-in that eases user-level definition of workflows by completing model sketches by means of synthesis capabilities, so that they become complete and executable. We summarize our experience so far and derive general design principles for “lightweight plug-in development”, that we are going to realize in the next generation of the jABC, which will be implemented itself as a collection of Eclipse plug-ins.

关键词： Generators Semantics programming Data models Java Load modeling Next generation networking

来源：评论

学校读者我要写书评

暂无评论

Automated continuous quality assurance

Automated continuous quality assurance

引用

Formal Methods in software engineering: Rigorous and Agile Approaches (FormSERA)

作者： Johannes Neubauer Bernhard Steffen Oliver Bauer Stephan Windmüller Maik Merten Tiziana Margaria Falk Howar Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Verlag's Online Conference System, is supported by continuous learning-based testing, that by its nature maintains the synchrony of the running application and the learned (test) model. The evolution of the test model clearly indicates which portions of the system remain stable and which are altered. Thus our approach includes classical regression testing and feature interaction detection. We show concretely how model checking, automata learning, and quantitative analysis concur with the holistic quality assurance of this product.

关键词： Testing Learning automata Monitoring Adaptation models Quality assurance Machine learning

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

IEEE International Conference on Digital Ecosystems and Tech...

引用

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany

ISBN: (纸本)9781467317030

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems;the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems. © 2012 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Operating modes of chemical reactors of Polymerization

引用

International Journal of Computer Science Issues 2012年第3期9卷 393-396页

作者： Berdieva, Meruyert Ospanova, Aiman Koshkinbayeva, Madina Zhukabayeva, Tamara Department of Computer Engineering and Software Programming South Kazakhstan State University Tauke Khan avenue 5 Shymkent 160012 Kazakhstan

In the work the issues of stable technological modes of operation of main devices of producing polysterol - reactors have been researched as well as modes of stable operation of a chemical reactor have been presented, which enables to create optimum mode parameters of polymerization process, to prevent emergency situations of chemical reactor operation in industrial conditions. © 2012 International Journal of Computer Science Issues.

关键词： Chemical reactors

来源：评论

学校读者我要写书评

暂无评论

Situational decomposition method

引用

International Journal of Computer Science Issues 2012年第2 2-3期9卷 487-490页

作者： Ven-Tsen, Khu Kokenovna, Zhukabayeva Tamara Department of Computer Engineering and Software Programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan

The method of optimum control of the complex multivariate objects, based on the account of situations during the moment of acceptance of operating decisions is offered. The method allows to reduce the initial problem of management complicated for the decision, to set of more simple consistently solved problems representing the modified initial problem. The method is realized in a control system of the variable structure combining principles of centralized and decentralized management. © 2012 International Journal of Computer Science Issues.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Delta-oriented model-based SPL regression testing

Delta-oriented model-based SPL regression testing

引用

International Workshop on Product Line Approaches in software engineering (PLEASE)

作者： Sascha Lity Malte Lochau Ina Schaefer Ursula Goltz Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Institute for Software Systems Engineering Technical University of Braunschweig Brunswick Germany

Testing software product lines by considering each product variant in isolation is impracticable due to the high number of potential product configurations. Therefore, applying SPL reuse principles also to test artifacts in a concise way is essential. We address this open issue by a novel, model-based SPL testing framework based on reusable delta-oriented state machine test models and regression-based test suite evolution. Therein, SPL test artifacts are incrementally evolved for every product variant by explicitly considering commonality and variability between two subsequent products under test. Our approach guarantees for every product configuration stable test coverage and allows the derivation of redundancy-reduced, yet reliable retesting obligations. We illustrate our framework by means of an automotive case study and compare our experimental results with alternative SPL testing strategies w.r.t. efficiency improvements.

关键词： Testing Modeling Automotive engineering programming Adaptation models software systems

来源：评论

学校读者我要写书评

暂无评论

Frequency Linear-time Temporal Logic

Frequency Linear-time Temporal Logic

引用

Theoretical Aspects of software engineering (TASE)

作者： Benedikt Bollig Normann Decker Martin Leucker LSV ENS Cachan CNRS-INRIA Cachan France Institute for Software Engineering and Programming Languages Universität zu Lübeck Lubeck Germany

We propose fLTL, an extension to linear-time temporal logic (LTL) that allows for expressing relative frequencies by a generalization of temporal operators. This facilitates the specification of requirements such as the deadlines in a realtime system must be met in at least 95% of all cases. For our novel logic, we establish an undecidability result regarding the satisfiability problem but identify a decidable fragment which strictly increases the expressiveness of LTL by allowing, e.g., to express non-context-free properties.

关键词： Radiation detectors Semantics Encoding Syntactics Standards Availability software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：