We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle t...
详细信息
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that ...
详细信息
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represents a different aspect of natural langua...
详细信息
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construc...
详细信息
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construct via STM, including runtime and compiler support; example of hybrid TM; and the outlook for the future development STM and the applications to be supported.
Presents a collection of slides covering the following topics: Transactional Memory language construct; synchronised HashMap; transactional HashMap; Java; failure recovery; and parallel programming.
Presents a collection of slides covering the following topics: Transactional Memory language construct; synchronised HashMap; transactional HashMap; Java; failure recovery; and parallel programming.
In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called For...
详细信息
ISBN:
(纸本)1595933751
In this paper we present the FormulaBuilder, a flexible tool for graph-based modelling and generation of formulae. The FormulaBuilder allows easy and intuitive creation of formulae by using basic components called Formula Building Blocks (FBBs) and arranging them as graphs according to the syntactic structure of a formula. Such a graph can then be validated and used to generate the corresponding formula on the basis of a specific syntax which is chosen from a list of syntaxes supported by the FormulaBuilder. An important application of the FormulaBuilder is the formal specification of properties that describe the requirements of a system. Such property specifications are usually needed by verification tools like model checkers, that help software engineers to detect errors in a specified system. The FormulaBuilder allows users to model property specifications as formula graphs by using commonly-occurring specification patterns.
Today formalisms with graphical representations are used to model structure, behavior, and other views on software and systems. The UML is just one example for modeling languages with graphical representation of its m...
详细信息
Today formalisms with graphical representations are used to model structure, behavior, and other views on software and systems. The UML is just one example for modeling languages with graphical representation of its models. Although most models are executable without explicit graphical information of the model's elements, the appearance of a model is of particular importance for its readability. To improve the so called embedding of a graph representing a model or to create a initial embedding, an algorithmic support for arranging the elements is useful. We provide a software environment in which layout algorithms can be developed and evaluated. By defining proper interfaces for graph elements, we provide easy access to our library of layout algorithms for external use
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that ...
详细信息
This paper presents a model-based engineering approach used for the development of a software architecture tailored for the special requirements of parallel kinematic machines. Several quality assurance measures that became possible by this approach and their application within an interdisciplinary research project are described in detail. Concepts for the integration of self-managed components and autonomic computing features are outlined
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr...
The modelling of the educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usually described by means of an educati...
详细信息
The modelling of the educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usually described by means of an educational modelling language (EML). The EML used can be one of the available standards (e.g. IMS Learning Design), the customization of a standard to meet a specific application profile, or even a domain-specific EML specifically designed to best fit in the very particular needs of a learning scenario. In this paper we propose , a general authoring and operationalization architecture capable of dealing with all these possibilities in a highly modular and flexible way. We also outline a specific implementation of based on standard XML technologies and in the BPEL4WS workflow management language, and we describe how this implementation can be used to support IMS Learning Design.
暂无评论