When reengineering large systems, software developers would like to assess and compare the impact of multiple change scenarios without actually performing these changes. A change can be effected by applying a tool to ...
详细信息
ISBN:
(纸本)9781605588995
When reengineering large systems, software developers would like to assess and compare the impact of multiple change scenarios without actually performing these changes. A change can be effected by applying a tool to the source code, or by a manual refactoring. In addition, tools run over a model are costly to redevelop. It raises an interesting challenge for tools implementors: how to support modification of large source code models to enable comparison of multiple versions. One naive approach is to copy the entire model after each modification. However, such an approach is too expensive in memory and execution time. In this paper we explore different implementations that source code metamodels support multiple versions of a system. We propose a solution based on dynamic binding of entities between multiple versions, providing good access performance while minimizing memory consumption. Copyright 2009 ACM.
The paradigm of design by contract provides a transparent way of specifying object-oriented systems. There exist a number of languages for contractual specification including OCL, JML and Spec#. Nevertheless, there ar...
详细信息
ISBN:
(纸本)9783642005923
The paradigm of design by contract provides a transparent way of specifying object-oriented systems. There exist a number of languages for contractual specification including OCL, JML and Spec#. Nevertheless, there are still a number of research problems concerning this approach. One of them is the implementation of primitive @pre in OCL or equivalently old in JML. Those primitives are used in postconditions to refer to attribute values in states preceding an operation execution. There are a number of implementations of this operators, but all suffer logical and computational problems. In this paper, existing approaches to the implementation of @pre are discussed and a new solution is proposed.
Harmony-orientedprogramming relaxes encapsulation and information hiding by arranging code snippets in virtual spaces and exchanging data via diffusion. Harmony-oriented Smalltalk is a visual development environment ...
详细信息
ISBN:
(纸本)9781605587660
Harmony-orientedprogramming relaxes encapsulation and information hiding by arranging code snippets in virtual spaces and exchanging data via diffusion. Harmony-oriented Smalltalk is a visual development environment used in on-going studies to gather evidence that harmony-oriented programs are less prone to brittleness than object-oriented programs in the context of software evolution.
This paper describes the MulTra project, aiming at the development of an efficient multilingual translation technology based on an abstract and generic linguistic model as well as on object-oriented software design. I...
详细信息
One of the debatable issues in programming courses for core Computer Science (CS) and Information Technology (IT) education is on how to improve the assessment so that it will reflect student's programming skills....
详细信息
ISBN:
(纸本)9780889867901
One of the debatable issues in programming courses for core Computer Science (CS) and Information Technology (IT) education is on how to improve the assessment so that it will reflect student's programming skills. This research will focus on this issue by proposing a new model to support the assessment of programming courses, specifically in object-orientedprogramming. The model will be developed by identifying objectoriented concepts that student's have applied in their program source code using objectoriented metrics. Metrics are an important technique in quantifying desirable software and software development characteristics of objectoriented software development. Currently, metrics proposed for OO software development have rarely been used to support assessment process. This paper will investigate the suitable object-oriented metrics to be applied in the process of developing the assessment model for object-orientedprogramming courses. We give an overview on the object-oriented metrics and the necessary steps on the applications of metrics towards development of the assessment model.
Generalization is common in object-oriented modelling. It would be useful in many situations also as a language mechanism, reverse inheritance, but there have been only few detailed proposals for that. This paper defi...
详细信息
Estimating the cost of development is one of the most crucial and daunting tasks for a software project manager. A lot of cost estimation models were reported in the literature but many of these models became obsolete...
详细信息
Implementing a cost-effective general maintenance program for generators is of utmost importance at Hydro-Québec. This paper presents the design of MIDA (Integrated Generator Diagnostic Methodology), a Web-based ...
详细信息
This paper presents a novel object-oriented approach to modeling the semantics of distributed multi-party protocols such as leader election, distributed locks or reliable multicast, and a programming language that sup...
详细信息
Although distributed object systems, including RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually requires client-specific optimization o...
详细信息
暂无评论