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

作者： 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

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

来源：评论

学校读者我要写书评

暂无评论

Synthesis-based variability control: Correctness by construction

Synthesis-based variability control: Correctness by construc...

引用

10th International Symposium on Formal Methods for Components and Objects, FMCO 2011

作者： Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Department for Service and Software Engineering University of Potsdam Germany Institut für Softwaretechnik und Fahrzeuginformatik Technische Universität Braunschweig Germany Department for Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783642358869

In this paper, we show the power of combining modern synthesis technology with a constraint-oriented approach to variability modeling. This combination guarantees the validity of all the required properties simply by construction: including a new property simply requires adding a corresponding constraint. The synthesis procedure will then automatically take care that all generated variants are property-conform. This fully declarative approach leads to a very agile variability modeling framework, where new product lines guaranteeing new properties can be defined ad hoc and are, due to our synthesis technology, immediately operational. As the underlying constraint language allows fully describing the intended solution space without imposing any overspecification, neither on the structure, nor on the artifacts, our approach may in particular be regarded as a step from the today typical settings with closed-world assumption to one with an open-world assumption. Impact and ease of this method are illustrated along a small case study running on our prototypical framework implementation. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

The functional programming language R and the paradigm of dynamic scientific programming (Position paper)

The functional programming language R and the paradigm of dy...

引用

13th Symposium on Trends in Functional programming, TFP 2012

作者： Widemann, Baltasar Trancón Y. Bolz, Carl Friedrich Grelck, Clemens Ecological Modelling and Computer Science Universität Bayreuth Germany Software Engineering and Programming Languages Heinrich-Heine-Universität Düsseldorf Germany Computer Systems Architecture Universiteit Van Amsterdam Netherlands

ISBN: (纸本)9783642404467

R is an environment and functional programming language for statistical data analysis and visualization. Largely unknown to the functional programming community, it is popular and influential in many empirical sciences. Due to its integrated combination of dynamic and reflective scripting on one hand, and array-based numerical computation on the other, R poses unique and challenging implementation problems, at odds with the conservative language technology employed by its developers. We discuss the background of R in historical context, highlight some of the more problematic language features, and discuss the potential for the effective use of state-of-the-art language technology in a future, safe and efficient implementation. © 2013 Springer-Verlag.

关键词： Data visualization

来源：评论

学校读者我要写书评

暂无评论

Patterns of cross-language linking in java frameworks

Patterns of cross-language linking in java frameworks

引用

IEEE Workshop on Program Comprehension

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

ISBN: (纸本)9781467330909

The term Cross-Language Linking refers to the ability to specify, locate, navigate, and keep intact the connections between artifacts defined in different programming languages used for building one software application. Although understanding cross-language links and keeping them intact during development and maintenance activities is an important productivity issue, there has been little research on understanding the characteristics of such connections. We have thus built a theory from case studies, specifically, three theory-selected Java cross-language frameworks, each of which links artifacts written in the Java programming language to artifacts written in a declarative, framework-specific domain specific language. Our main contribution is to identify, from these experiences, common patterns of cross-language linking in the domain of Java frameworks with DSLs, which besides their informative nature can also be seen as requirements for designing and building a linking language and tooling infrastructure.

关键词： Atmospheric modeling Springs Frequency control

来源：评论

学校读者我要写书评

暂无评论

Property-driven benchmark generation

Property-driven benchmark generation

引用

20th International Symposium on Model Checking software, SPIN 2013

作者： Steffen, Bernhard Isberner, Malte Naujokat, Stefan Margaria, Tiziana Geske, Maren Department of Programming Systems Dortmund University of Technology Dortmund D-44227 Germany Carnegie Mellon University Moffett Field CA United States Department of Service and Software Engineering Universität Potsdam Potsdam D-14482 Germany

ISBN: (纸本)9783642391750

We present a systematic approach to the automatic generation of platform-independent benchmarks of tailored complexity for evaluating verification tools for reactive systems. Key to this approach is a tool chain that essentially transforms a set of automatically generated LTL properties into source code for various formats, platforms, and competition scenarios via a sequence of property-preserving steps. These steps go through dedicated representations in terms of Büchi Automata, Mealy machines, Decision Diagram Models, Code Models, and finally the source code of the chosen scenario. The required transformations comprise LTL synthesis, model checking, property-oriented expansion, path condition extraction, theorem proving, SAT solving, and code motion. This combination allows us to address different communities via a growing set of programming languages, tailored sets of programming constructs, different notions of observation, and the full variety of LTL properties-ranging from mere reachability over general safety properties to arbitrary liveness properties. The paper illustrates the whole tool chain along accompanying examples, emphasizes the current state of development, and sketches the envisioned potential and impact of our approach. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Optimization of industrial processes in reactors

Optimization of industrial processes in reactors

引用

2nd International Conference on Key engineering Materials and Computer Science, KEMCS 2013

作者： Berdiyeva, Meruyert Ospanova, Aiman Othman, Mohamed Department of Computer engineering and Software programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan Dept of Communication Technology and Network Universiti Putra Malaysia 43400 UPM Serdang Selangor D.E Malaysia

ISBN: (纸本)9783037857274

In the conditions of industrial production many processes of polymerisation are nonstationary. By processes optimization with the regard for such features as basic data it is necessary to use adaptive algorithms of identification, allowing mathematical model of process continuously to be adapted for changing conditions of operation. Use of such algorithms for process optimization demands periodic recalculation of optimum technological modes of process. Polymer reaction engineering is a discipline that deals with various problems concerning the fundamental nature of chemical and physical phenomena in polymerization processes. Mathematical modeling is a powerful tool for the development of process understanding and advanced reactor technology in the polymer industry. © (2013) Trans Tech Publications, Switzerland.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Runtime verification and reflection for wireless sensor networks

Runtime verification and reflection for wireless sensor netw...

引用

International Workshop on software engineering for Sensor Network Applications (SESENA)

作者： Stefan Fischer Martin Leucker Telematics Institute University of Lübeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9781467362689

The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.

关键词： Runtime Wireless sensor networks Monitoring Maintenance engineering Testing software

来源：评论

学校读者我要写书评

暂无评论

Optimization of Industrial Processes in Reactors

Optimization of Industrial Processes in Reactors

引用

2013 2nd International Conference on Key engineering Materials and Computer Science(KEMCS 2013)

作者： Meruyert Berdiyeva Aiman Ospanova Мohamed Othman Department of Computer engineering and Software programming South Kazakhstan State University Dept of Communication Technology and Network Universiti Putra Malaysia

关键词： industrial processes polymerisattion chemical reactors technological parameters-temperature and conversion the optimization problem

来源：评论

学校读者我要写书评

暂无评论

A type system for regular expressions

A type system for regular expressions

引用

14th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2012 - Co-located with ECOOP 2012 and PLDI 2012

作者： Spishak, Eric Dietl, Werner Ernst, Michael D. Programming Languages and Software Engineering Group University of Washington United States

ISBN: (纸本)9781450312721

Regular expressions are used to match and extract text. It is easy for developers to make syntactic mistakes when writing regular expressions, because regular expressions are often complex and different across programming languages. Such errors result in exceptions at run time, and there is currently no static support for preventing them. This paper describes practical experience designing and using a type system for regular expressions. This type system validates regular expression syntax and capturing group usage at compile time instead of at run time - -ensuring the absence of PatternSyntaxExceptions from invalid syntax and IndexOutOfBoundsExceptions from accessing invalid capturing groups. Our implementation is publicly available and supports the full Java language. In an evaluation on five open-source Java applications (480kLOC), the type system was easy to use, required less than one annotation per two thousand lines, and found 56 previously-unknown bugs. © 2012 ACM.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

A constraint-based variability modeling framework

引用

International Journal on software Tools for Technology Transfer 2012年第5期14卷 511-530页

作者： Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University Potsdam Potsdam Germany Institut für Software Systems Engineering Technische Universität Braunschweig Braunschweig Germany

Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study. © 2012 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：