检索结果-内蒙古大学图书馆

On the use of clone detection for identifying crosscutting concern code

IEEE TRANSACTIONS ON software ENGINEERING 2005年第10期31卷 804-818页

作者： Bruntink, M van Deursen, A van Engelen, R Tourwé, T CWI Dept Software Engn NL-1098 SJ Amsterdam Netherlands Delft Univ Technol Fac Elect Engn Math & Comp Sci NL-2628 CD Delft Netherlands ASML Netherlands BV Software Syst Dev NL-5504 DR Veldhoven Netherlands Vrije Univ Brussels Programming Technol Lab B-1050 Brussels Belgium

In systems developed without aspect-oriented programming, code implementing a crosscutting concern may be spread over many different parts of a system. Identifying such code automatically could be of great help during maintenance of the system. First of all, it allows a developer to more easily find the places in the code that must be changed when the concern changes and, thus, makes such changes less time consuming and less prone to errors. Second, it allows the code to be refactored to an aspect-oriented solution, thereby improving its modularity. In this paper, we evaluate the suitability of clone detection as a technique for the identification of crosscutting concerns. To that end, we manually identify five specific crosscutting concerns in an industrial C system and analyze to what extent clone detection is capable of finding them. We consider our results as a stepping stone toward an automated "aspect miner" based on clone detection.

关键词： clone detection reverse engineering aspect-oriented programming crosscutting concerns aspect mining

来源：评论

学校读者我要写书评

暂无评论

Generating optimal distinguishing sequences with a model checker

Generating optimal distinguishing sequences with a model che...

引用

1st International Workshop on Advances in Model-Based Testing, A-MOST '05

作者： Robinson-Mallett, Christopher Liggesmeyer, Peter Mücke, Tilo Goltz, Ursula University of Potsdam Hasso-Plattner-Institute Software Engineering Germany University of Kaiserslautern Fraunhofer IESE Germany University of Brunswick Institute for Programming and Reactive Systems Germany

ISBN: (纸本)1595931155

This paper presents an approach for the automatic generation of shortest Distinguishing Sequences (DS) with the Uppaal model checker. The presented method is applicable to a large number of extended finite state machines and it will find an optimal result, if a DS sequence exists for the considered automaton. Our approach is situated in an integrated testing environment that is used to generate checking sequences. The generation method is based on a DS model, which is derived from the same test model that is used for generating test cover sets. The problem of generating DS is reduced to the definition of a DS model and for this reason the complexity of our approach depends mainly on the used model checking algorithm. This means, that the presented method is automatically improved, when the model checking algorithm is improved. This includes the generation of optimal DS depending on the ability of the model checker to produce optimal results. Copyright 2005 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

With-loop scalarization – merging nested array operations

With-loop scalarization – merging nested array operations

引用

15th International Workshop on the Implementation of Functional Languages, IFL 2003

作者： Grelck, Clemens Scholz, Sven-Bodo Trojahner, Kai University of Lübeck Institute of Software Technology and Programming Languages Germany University of Kiel Institute of Computer Science and Applied Mathematics Germany

ISBN: (纸本)9783540237273

Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, naïve compilation of such specifications leads to creation of many temporary arrays at runtime and, consequently, to poor performance characteristics. This paper elaborates on a new compiler optimization, named with-loop-scalarization, which aims at eliminating temporary arrays in the context of nested array operations. It is based on with-loops, a versatile array comprehension construct used by the functional array language SaC both for specification as well as for internal representation of array operations. The impact of with-loop-scalarization on the runtime performance of compiled SaC code is demonstrated by several experiments involving support for arithmetic on arrays of complex numbers and the application kernel FT from the NAS benchmark suite. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

software engineering - components, interfaces, behaviours

Software engineering - components, interfaces, behaviours

引用

International Conference on Computer and Information Science (ACIS)

作者： W. Dosch Institute of Software Technology and Programming Languages University of Luebeck Germany

Summary form only given. software engineering has matured from heuristic practice to an engineering discipline. Over the years, software technology developed into a key qualification for mastering complex technical systems. Nowadays, software engineers can benefit from a solid stock of basic research addressing the specification, modelling, design and implementation of sequential, concurrent, distributed and real time systems. This paper surveys the scientific foundations of modern software technology concentrating on components, interfaces and behaviours. We present a unifying approach relating different system views manifesting themselves as data model, communication model, state transition model, and process model.

关键词： software engineering Computer languages Computer science Qualifications software systems Design engineering Systems engineering and theory Solid modeling Real time systems Data models

来源：评论

学校读者我要写书评

暂无评论

Designing combinational circuits with list homomorphisms

Designing combinational circuits with list homomorphisms

引用

International Conference on software Engineering Research, Management and Applications (SERA)

作者： W. Dosch Institute of Software Technology and Programming Languages University of Lubeck Lubeck Germany

We present a framework for the unifying high-level synthesis of tree-structured and iterative combinational networks. Based on the theory of list homomorphisms, we develop a standard implementation for tree-structured modules processing the input digits in parallel. The design is systematically specialized to iterative networks processing the input sequentially from the least resp. from the highest significant positions. Throughout the paper, we explicate functional methods for the transformational design of combinational circuits. We illustrate the approach with a parity generator module, a comparator module, and a priority resolution module.

关键词： Combinational circuits High level synthesis Hardware Iterative algorithms Algorithm design and analysis Algebra Computer languages Standards development Circuit synthesis Network synthesis

来源：评论

学校读者我要写书评

暂无评论

Transforming functional signatures of algebraic specifications into object-oriented class signatures

Transforming functional signatures of algebraic specificatio...

引用

Asia-Pacific Conference on software Engineering

作者： B. Dolle W. Dosch Institute of Software Technology and Programming Languages University of Lübeck Germany

A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system development. This paper presents a formal method how to transform the signature of an algebraic specification into a collection of object-oriented class signatures in a systematic way. We explore the possible design decisions and manifest them in design functions. The transformation of the signature forms the syntactic basis for relating algebraic specifications with object-oriented modeling in a profound way. The approach bridges the gap between functional specification concepts and object-oriented modeling techniques. An important area of application comprises the top-down development of information storing components. All transformation procedures including the mechanization of the design choices have been implemented in a transformation tool.

关键词： Object oriented modeling Computer languages software design Hardware software engineering Bridges Application software Data structures software systems Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Role modelling in SelfSync with warped hierarchies

Role modelling in SelfSync with warped hierarchies

引用

2005 AAAI Fall Symposium

作者： Van Paesschen, Ellen De Meuter, Wolfgang D'Hondt, Maja Programming Technology Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussel System Software Engineering Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussel

ISBN: (纸本)1577352548

In object-oriented software engineering roles are considered both classifications and instances. To reduce the gap between the conceptual modelling of roles and a corresponding implementation, we propose a new role modelling concept based on warped inheritance hierarchies. We integrated this new modelling concept in our prototype-based object-oriented round-trip engineering environment SelfSync. In this way it is possible to model roles in an Extended Entity-Relationship diagram while the corresponding implementation objects are automatically created and synchronized with the conceptual model. We apply constraint enforcement during the lifetime of role objects, based on dependency and role combinations. Copyright © 2005, American Association for Artificial Intelligence (***). All rights reserved.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

A loose interaction pattern for asynchronous components

A loose interaction pattern for asynchronous components

引用

Asia-Pacific Conference on software Engineering

作者： W. Dosch Institute of Software Technology and Programming Languages University of Lübeck Lubeck Germany

The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits messages to a passive receiver component controlled by the receiver's acknowledgements. The formal design refines the components' input/output behaviour into a state-based implementation based on three transformation steps. An architectural refinement decomposes the protocol function into a sender component and into a receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt, a previous input history. The history abstraction extracts the components' control state and data state from the input history.

关键词： History Protocols Communication system control software architecture Computer architecture Paper technology Computer languages Feedback Data mining Hardware

来源：评论

学校读者我要写书评

暂无评论

Extreme programming and agile software development methodologies

引用

INFORMATION SYSTEMS MANAGEMENT 2004年第3期21卷 41-52页

作者： Lindstrom, L Jeffries, R A software professional for 20 years. He currently runs a consulting firm that helps software intensive businesses transition to more agile business processes. He can be reached at lindstrom@*** An independent consultant. He is the senior author of Extreme Programming Installed from Addison-Wesley and has just released a new book Extreme Programming Adventures in C#from Microsoft Press. He can be reached at ronjeffries@***.

Several agile (i.e., lightweight) development methodologies, especially extreme programming (XP), have been argued to be a solution to many of the problems that continue to plague software development projects. The authors provide a useful evaluation of such approaches, including a discussion of the values that underlie the XP methodology.

关键词： COMPUTER software development COMPUTER programming PROJECT management EXTREME programming METHODOLOGY

来源：评论

学校读者我要写书评

暂无评论

Location-based Publish/Subscribe

Location-based Publish/Subscribe

引用

IEEE International Symposium on Network Computing and Applications

作者： P.Th. Eugster B. Garbinato A. Holzer Chair of Software Engineering Swiss Federal Institute of Technology of Zürich Switzerland Distributed Object Programming Laboratory Université de Lausanne Switzerland

This paper introduces the concept of location-based publish/subscribe (LPS), which allows mobile ad hoc applications to anonymously communicate with each other, depending on their locations. With this concept, publish/subscribe topics are typically expressed in a dynamic manner including proximity criteria, e.g., "I subscribe to all events on topic T published within some range R". We advocate that location-based publish/subscribe is a key programming paradigm for building mobile ad hoc application, and sketch our current implementation, which is based on standard APIs of the Java 2 platform, Micro Edition

关键词： Ad hoc networks Application software Context Dynamic programming Standards publication Java Mobile communication Subscriptions software engineering Bluetooth

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：