When processing a large amount of interval-valued data, stored in a relational database, developers cannot use the pre-property provided by the DBMS without dividing a single logical unit into lower and upper boundari...
详细信息
This article discusses support for the UML standard in the Agile software development. There are described some of the weaknesses of the UML standard that software developers should know about to take full advantage o...
详细信息
In this paper we present techniques for constructing Z specifications from the analysis and design models of the Fusion method. We show how the specifications can be used to more closely tie the Fusion models together...
详细信息
In this paper we present techniques for constructing Z specifications from the analysis and design models of the Fusion method. We show how the specifications can be used to more closely tie the Fusion models together. In particular, we outline how the specifications can be used to support rigorous verification of Fusion design models against analysis models.
Framework as a term is very frequently used in software engineering, especially in relation to object-oriented software design and implementation. In general, a framework could be defined as an application generator f...
详细信息
This paper presents a new method integrated in Bell Canada software acquisition process to assess software [10]. This paper is focused on the assessment of the understandability of the inheritance graph of object orie...
详细信息
This paper presents a new method integrated in Bell Canada software acquisition process to assess software [10]. This paper is focused on the assessment of the understandability of the inheritance graph of objectoriented software. The method is based on metrics and graphical illustration of the inheritance graph. A technique to decompose the inheritance graph of an objectoriented software into sub-graphs using metrics is described. Metrics are also used to identify complex sub-graphs. On the selected graphs, a technique to improve the understandability of the graphical illustration representing the inheritance graph is also described. This technique is based on extracting the main tree on the inheritance graph. A C++ case study containing 1080 classes is presented on which this assessment method was applied.
The Plaid language introduces native support for state abstractions and state change. While efficient language implementation typically relies on stable object members, state change alters members at runtime. We built...
详细信息
ISBN:
(纸本)9781450309424
The Plaid language introduces native support for state abstractions and state change. While efficient language implementation typically relies on stable object members, state change alters members at runtime. We built a JavaScript compilation target with a novel state representation, which enables fast member access. Cross-language performance comparisons are used for evaluation.
An object-oriented Software Evolution Process Meta-Model (OO-EPMM), formal OCL constraint of meta-model and a software evolution process model are presented in this paper. OO-EPMM can not only represent software devel...
详细信息
The contribution of this paper is the first Hardware Transactional Memory (HTM) where the object structure is recognized and harnessed. Our approach is similar to hardware support of paged virtual memory using a virtu...
详细信息
ISBN:
(纸本)9781595939739
The contribution of this paper is the first Hardware Transactional Memory (HTM) where the object structure is recognized and harnessed. Our approach is similar to hardware support of paged virtual memory using a virtually addressed cache and a TLB, and is based on a cache hierarchy that allows the addressing of objects by unique object identifiers. The object-aware HTM allows cache overflows of uncommitted data. It also enables a novel commit and conflict detection mechanism. In this preliminary evaluation, the Lee-TM application exhibits overflows that in most previous HTMs would have had to be handled by software, impacting on performance. The simulation provides an insight into the scalability characteristics of the proposed HTM. which uses object and field granularity, lazy versioning and lazy conflict detection. For example, with 32 cores the broadcast of write sets is at under 5% of the bus bandwidth, showing the potential of object-aware HTM systems.
We propose an approach for modular verification of programs written in an object-oriented language where, like in C++, the same virtual method call is bound to different methods at different points during the construc...
详细信息
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program modularity by applying standard GOF de...
详细信息
ISBN:
(纸本)9781450302401
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program modularity by applying standard GOF design patterns while using the reusable pattern implementations from our framework, they receive implicit concurrency for free.
暂无评论