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

11th ACM International Conference on Generative programming and Component Engineering, GPCE 2012

作者： Efftinge, Sven Eysholdt, Moritz Köhnlein, Jan Zarnekow, Sebastian Hasselbring, Wilhelm Von Massow, Robert Hanus, Michael Itemis AG D-24143 Kiel Germany Software Engineering Group University of Kiel Germany Programming Languages and Compiler Construction Group University of Kiel Germany

ISBN: (纸本)9781450311298

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as service specifications and entities. Because behavioral aspects are significantly more complicated to implement, they are often delegated to generalpurpose programming languages. This approach introduces complex integration patterns and the DSL's high level of abstraction is compromised. We present Xbase as part of Xtext, an expression language that can be reused via language inheritance in any DSL implementation based on Xtext. Xbase expressions provide both control structures and program expressions in a uniform way. Xbase is statically typed and tightly integrated with the Java type system. Languages extending Xbase inherit the syntax of a Java-like expression language as well as language infrastructure components, including a parser, an unparser, a linker, a compiler and an interpreter. Furthermore, the framework provides integration into the Eclipse IDE including debug and refactoring support. The application of Xbase is presented by means of a domain model language which serves as a tutorial example and by the implementation of the programming language Xtend. Xtend is a functional and object-oriented general purpose language for the Java Virtual Machine (JVM). It is built on top of Xbase which is the reusable expression language that is the foundation of Xtend. Copyright 2012 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Reducing feature models to improve runtime adaptivity on resource limited devices 12

Reducing feature models to improve runtime adaptivity on res...

引用

16th International software Product Line Conference, SPLC 2012

作者： Saller, Karsten Oster, Sebastian Schürr, Andy Schroeter, Julia Lochau, Malte Real Time Systems Lab TU Darmstadt Germany LOGICA Germany Institute for Software and Multimedia Technology TU Dresden Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

ISBN: (纸本)9781450310956

Mobile devices like smartphones are getting increasingly important in our daily lifes. They are used in various environments and have to dynamically adapt themselves accordingly in order to provide an optimal runtime behavior. Naturally, adapting to continuously changing environmental conditions is a challenging task because mobile devices are always limited in their resources and have to adapt in realtime. In this paper, we introduce an approach that enables resource limited devices to adapt to changing conditions using dynamic software product lines techniques. Therefore, feature models are reduced to a specific hardware context before installing the adaptive mobile application on the device. This reduces the amount of possible configurations that are compatible with the device and, thereby, minimizes the costs and the duration of an adaptation during runtime. Copyright 2012 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study

引用

JOURNAL OF SYSTEMS AND software 2012年第12期85卷 2770-2784页

作者： Khakpour, Narges Jalili, Saeed Sirjani, Marjan Goltz, Ursula Abolhasanzadeh, Bahareh Tarbiat Modares Univ Tehran Iran Tech Univ Carolo Wilhelmina Braunschweig Inst Programming & React Syst D-38106 Braunschweig Germany Reykjavk Univ Sch Comp Sci Iceland Ctr Res Software Engn ICE ROSE Reykjavk Iceland Univ Tehran Tehran Iran Leiden Univ Leiden Inst Adv Comp Sci NL-2300 RA Leiden Netherlands

The next generation of software systems includes systems composed of a large number of distributed, decentralized, autonomous, interacting, cooperating, organically grown, heterogeneous, and continually evolving subsystems, which we call IT Ecosystems. Clearly, we need novel models and approaches to design and develop such systems which can tackle the long-term evolution and complexity problems. In this paper, our framework to model IT Ecosystems is a combination of centralized control (top-down) and self-organizing (bottom-up) approach. We use a flexible formal model, HPobSAM, that supports both behavioral and structural adaptation/evolution. We use a detailed, close to real-life, case study of a smart airport to show how we can use HPobSAM in modeling, analyzing and developing an IT Ecosystem. We provide an executable formal specification of the model in Maude, and use LTL model checking and bounded state space search provided by Maude to analyze the model. We develop a prototype of our case study designed by HPobSAM using Java and Ponder2. Due to the complexity of the model, we cannot check all properties at design time using Maude. We propose a new approach for run-time verification of our case study, and check different types of properties which we could not verify using model checking. As our model uses dynamic policies to control the behavior of systems which can be modified at runtime, it provides us a suitable capability to react to the property violation by modification of policies. (c) 2012 Elsevier Inc. All rights reserved.

关键词： Self-adaptive systems Large-scale software systems Formal modeling Verification Self-organizing systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：