Model-driven software development facilitates faster and more flexible integration of information and communication systems. It divides system descriptions into models of different view points and abstraction levels. ...
详细信息
Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to construct tests that are concise with respect to qu...
详细信息
The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of ...
详细信息
The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of high level that exist for functional programming languages and induction methods for the purpose of their verification. The way how to present imperative languages easy and double cycles by means of recursion forms is shown, the possibility of verification has been studied for each recursion form.
In ubiquitous computing, dynamic adaptation and the evolvability of software become increasingly important. This paper proposes AOCI, an aspect-oriented component infrastructure that combines the core ideas of aspect-...
详细信息
ISBN:
(纸本)9781605583693
In ubiquitous computing, dynamic adaptation and the evolvability of software become increasingly important. This paper proposes AOCI, an aspect-oriented component infrastructure that combines the core ideas of aspect-oriented programming (AOP) and component based systems. Components are usually considered as black boxes that can be combined to form complex systems. In the context of our infrastructure, components export possible points of adaptation, which are tagged with ontological information. This information enables the use of AOP techniques without detailed knowledge about the component's internals, enabling distributed and dynamic adaptation. Copyright 2008 ACM.
Component-based software engineering (CBSE) has become a commonly used development technique. Using it, applications are composed of reusable components with well defined interfaces and behavior. Currently, in the sco...
详细信息
ISBN:
(纸本)9781605580760
Component-based software engineering (CBSE) has become a commonly used development technique. Using it, applications are composed of reusable components with well defined interfaces and behavior. Currently, in the scope of CBSE, research has been driven in huge number of directions and by many research teams. Naturally, such conditions are ideal for mutual cooperation and collaboration. In this paper, we describe our experience with research cooperation, especially in the scope of Europe. We present experience gained during recent joint projects, in which we have participated. Also, we present our research areas and topics and ongoing work on them. Copyright 2008 ACM.
Today's software systems are mostly modular and have to be changeable. However, the testing of such systems becomes difficult, especially when changes are applied after deployment. One way to passively test such a...
详细信息
ISBN:
(纸本)9783885792277
Today's software systems are mostly modular and have to be changeable. However, the testing of such systems becomes difficult, especially when changes are applied after deployment. One way to passively test such a system is to check whether the observed traces are accepted by a system model. In this paper, we present a method to generate a model of the System Under Test from its test cases. We adapt Angluin's algorithm for learning finite automata to the special case of learning from traces obtained from test cases and provide the promising results of our experiment.
The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Notation (TTCN-3) is a standardised testin...
详细信息
The collective and coordinated usage of distributed resources for problem solution within dynamic virtual organizations can be realized with the Grid computing technology. For distributing and solving a task, a Grid a...
详细信息
Determine the appropriate loop transformations is an essential process in the automatic parallelization field. The sequence of loop transformation to be applied also must be considered. Selection of loop transformatio...
详细信息
ISBN:
(纸本)1601320841
Determine the appropriate loop transformations is an essential process in the automatic parallelization field. The sequence of loop transformation to be applied also must be considered. Selection of loop transformations faces many challenges, it is needed an experienced. In this paper, An Intelligent Loop Transformation Selector (ILTS);as a part of parallelizing tool project, was developed to overcome on these challenges and imitate an experienced. A Kohonen's Self-Organizing Map (SOM) neural network is used to select the appropriate loop transformation or sequence of them. Neural Networks offer intelligent transformations selection to reduce or eliminate the dependencies and maximize the parallelization in the sequential code. The experimental results show that ILTS chooses loop transformations successfully in most cases. This tool can be integrated with any parallelizing compiler to enhance loop transformation selection process.
暂无评论