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 combinatio...
详细信息
A " basic English" to enable editors, writers, librarians, educators, and others to instruct computers to perform mechanical text processing conveniently has been defined (see Tables II to V for partial summ...
详细信息
A " basic English" to enable editors, writers, librarians, educators, and others to instruct computers to perform mechanical text processing conveniently has been defined (see Tables II to V for partial summary). It has been given the name SNAP (Stylized Natural Procedural) language for reference. A processor that executes procedures expressed in a subset of this language has worked for some months on several computers. It was used successfully last semester by 40 students with humanities background, in a graduate course in the School of Library Service of Columbia University, for elementary mechanized library and documentation tasks. The processor for the larger subset of the language shown in Tables II to V now works, and is being applied to several practical problems. The processor for the full language is being completed. A SNAP procedure consists of a succession of well-formed English sentences of a few simple types. Most of these begin with imperative verbs that are concerned with input and output operations, and with the manipulation of strings of characters, numbers, and arrays of strings and numbers. Conditional sentences begin with IF. Several constructions that extract and concatenate portions of strings and lists of strings are used in the objects of SNAP sentences. The SNAP processor is written (apart from specialized input-output routines) in FORTRAN IV. It deals directly with some 25 "built-in" verbs, and will allow the user to define further verbs by subroutines that are also written in SNAP.
Syntactic parsing requires a fine balance between expressivity and complexity, so that naturally occurring structures can be accurately parsed without compromising efficiency. In dependency-based parsing, several cons...
详细信息
We introduce the concept of Grid Speedup as a scalability metric for parallel applications on the grid and analyze it theoretically. It is shown that classes of applications exist for which good grid speedups can be e...
详细信息
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 Ve...
详细信息
Today's service mashup technologies usually focus on assisting programmers to provide more powerful and valuable integrated applications to the users. A significant set of scripting languages, graphical tools and ...
详细信息
Today's service mashup technologies usually focus on assisting programmers to provide more powerful and valuable integrated applications to the users. A significant set of scripting languages, graphical tools and web services are used for this purpose, all addressing users with significant IT background. This paper aims at extending the power of mashup development to end users and application experts by automatically taking care of the tedious technical details like interface speci fications, types, and syntactic constraints. In detail we support simple and intuitive mashup specifications which are automatically completed to runnable mashups by means of service discovery-like methods and planning. We illustrate our approach by means of a concrete case study executed within our jABC/jETI development and (remote) execution framework.
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and control of the development. Neverthe...
详细信息
Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test ...
详细信息
ISBN:
(纸本)9781450305709
Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test artifacts. In this contribution we present a tool chain realizing our MoSo-PoLiTe concept combining combinatorial and model-based testing. Our tool chain contains a pairwise configuration selection component on the basis of a feature model. This component implements an heuristic finding a minimal subset of configurations covering 100% pairwise interaction. Additionally, our tool chain allows the model-based test case generation for each configuration within this generated subset. This tool chain is based on commercial tools since it was developed within industrial cooperations. A non-commercial implementation of pairwise configuration selection is available and an integration with an Open Source model-based testing tool is under development. Copyright 2011 ACM.
The paper presents the Electronic Tool Integration platform (ETI), a community platform designed for project-oriented, domainspecific, public or private interactive experimentation with heterogeneous tools. ETI manage...
详细信息
Language-Driven Engineering (LDE) is a new paradigm that aims at involving stakeholders, including the application experts, in the system development and evolution process using dedicated domains-specific languages (D...
详细信息
暂无评论