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

Journal of software 2007年第2期2卷 84-97页

作者： Ciraci, Selim van den Broek, Pim Aksit, Mehmet Software Engineering Group Faculty of Electrical Engineering Mathematics and Computer Science University of Twente PO Box 217 7500 AE Enschede Netherlands

In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered. Thus, most of the time software is changed by editing the components of the software system, i.e. breaking down the software system. The software engineering discipline provides many mechanisms that allow evolution without breaking down the system;however, the contexts where these mechanisms are applicable are not taken into account. Furthermore, the software design and evaluation techniques do not support identifying these contexts. In this paper, we provide a taxonomy of software evolution that can be used to identify the context of the evolution problem. The identified contexts are used to retrieve, from the software engineering discipline, the mechanisms, which can evolve the software software without breaking it down. To build such a taxonomy, we build a model for software evolution and use this model to identify the factors that effect the selection of software evolution mechanisms. Our approach is based on solution sets, however;the contents of these sets may vary at different stages of the software life-cycle. To address this problem, we introduce perspectives;that are filters to select relevant elements from a solution set. We apply our taxonomy to a parser tool to show how it coped with problematic evolution problems. © 2007 ACADEMY PUBLISHER.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

An evaluation of traceability approaches to support software evolution

An evaluation of traceability approaches to support software...

引用

2nd International Conference on software engineering Advances - ICSEA 2007

作者： Rochimah, Siti Kadir, Wan M. N. Wan Abdullah, Abdul H. Software Engineering Department Faculty of Computer Science and Information System Universiti Teknologi Malaysia

ISBN: (纸本)0769529372

Requirements traceability is becoming increasingly significant element in software engineering. It provides critical function in the development and maintenance of a software system. From the software evolution point of view, requirements traceability plays an important role in facilitating software evolution. Since the evolution is inevitable, a traceability approach must take as much as possible the important influencing aspects into account to the evolution processes in order to minimize the evolution efforts. This paper evaluates several recent traceability approaches published in literature with the focus on their contributions to software evolution. The evaluation results may be used as a basis for improving requirements traceability approaches that may simplify the software evolution tasks. © 2007 IEEE.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

A component-oriented programming for embedded mobile robot software

引用

International Journal of Advanced Robotic Systems 2007年第3期4卷 371-380页

作者： Jawawi, Dayang N. A. Mamat, Rosbi Deris, Safaai Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81310 UTM Skudai Malaysia Department of Mechatronics and Robotics Engineering Faculty of Electrical Engineering Universiti Teknologi Malaysia 81310 UTM Skudai Malaysia

Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobile Robot (AMR) system is a class of ERT systems, hence, inherits the challenge of applying software reuse in general ERT systems. Furthermore, software reuse in AMR systems is challenged by the diversities in terms of robot physical size and shape, environmental interaction and implementation platform. Thus, it is envisioned that component-based software engineering will be the suitable way to promote software reuse in AMR systems with consideration to general requirements to be self-contained, platform-independent and real-time predictable. A framework for component-oriented programming for AMR software development using PECOS component model is proposed in this paper. The main features of this framework are: (1) use graphical representation for components definition and composition;(2) target C language for optimal code generation with resource-constrained micro-controller;and (3) minimal requirement for run-time support. Real-time implementation indicates that, the PECOS component model together with the proposed framework is suitable for resource constrained embedded AMR systems software development.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Determining practice achievement in project management using a two-phase questionnaire on small and medium enterprises

Determining practice achievement in project management using...

引用

14th European software Process Improvement Conference, EuroSPI 2007

作者： Garcia, Ivan Calvo-Manzano, Jose A. Gonzalo, Cuevas Tomas, San Feliu Languages and Informatics Systems and Software Engineering Department Faculty of Computer Science Polytechnic University of Madrid Spain

ISBN: (纸本)9783540747659

This paper aims to obtain a baseline snapshot of Project Management processes using a two-phase questionnaire to identify both performed and nonperformed practices. The proposed questionnaire is based on the Level 2 process areas of the Capability Maturity Model Integration for Development v1.2. It is expected that the application of the questionnaire to the processes will help small and medium software enterprises to identify those practices which are performed but not documented, which practices need more attention, and which are not implemented due to bad management or unawareness. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

ALICE: An advanced logic for interactive component engineering

ALICE: An advanced logic for interactive component engineeri...

引用

4th International Verification Workshop, VERIFY 2007, Affiliated with the 21st Conference on Automated Deduction, CADE 2007

作者： Gajanovic, Borislav Rumpe, Bernhard Software Systems Engineering Institute Carl-Friedrich-Gauß Faculty for Mathematics and Computer Science Braunschweig University of Technology Braunschweig Germany

This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified as a state-full black-box with directed communication channels. Components send and receive asynchronous messages via these channels. The behavior of a component is generally described as a relation on the observations in form of streams of messages flowing over its input and output channels. Untimed and timed as well as state-based, recursive, relational, equational, assumption/guarantee, and functional styles of specification are supported. Hence, ALICE is well suited for the formalization and verification of distributed systems modeled with this stream-processing paradigm.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Content-based image retrieval based on the wavelet transform and radon transform

Content-based image retrieval based on the wavelet transform...

引用

2007 2nd IEEE Conference on Industrial Electronics and Applications, ICIEA 2007

作者： Zhiyong, An Zhiyong, Zeng Lihua, Zhou School of Computer Science and Engineering Xidian University Xi'an 710071 China Faculty of Software Fujian Normal University Fujian Fuzhou 350001 China

ISBN: (纸本)1424407370

The invariant using Radon transform is constructed and a new image retrieval algorithm based on the wavelet transform and Radon transform is presented. It turns to be getting multi-scale edge images by the wavelet modulus maxima after decomposing the images by the wavelet transform in the algorithm. The Radon invariant is extracted to be the shape feature of image to the multi-scale edge images and the energy of every sub frequency band is extracted to be the texture feature of image. The Gaussian model is used to normalize the different sub-characters distance to the shape feature of image and the texture feature of image separately. The shape similarity of images and the texture similarity of images are computed by the Euclidean distance separately. Finally, the weighted sums of the shape similarity of images and the texture similarity of images can be the similarity between the querying image and other images. Experiments indicate that this method is robustness to the Gaussian noises in image's similarity retrieval and more effective in the image retrieval than the other algorithms discussed in the paper. © 2007 IEEE.

关键词： Image retrieval

来源：评论

学校读者我要写书评

暂无评论

FD/I-based personalized recommendation in context-aware application

FD/I-based personalized recommendation in context-aware appl...

引用

2007 International Conference on Multimedia and Ubiquitous engineering, MUE 2007

作者： Yun, Bai Juan, Yang Yuhui, Qiu School of Electronic and Information Engineering Southwest University Chongqing 400715 China Intelligent Software and Software Engineering Laboratory Southwest University Chongqing 400715 China Faculty of Computer and Information Science Southwest University Chongqing 400715 China

ISBN: (纸本)0769527779

Personalized recommendation is an important application of context-aware system and is being used widely. However, most existed systems provide personalized information to users only based on user preferences or user activity history. Few applications consider the user's psychology characteristics before they make recommendation. We take this characteristic into consideration, and believe the psychology knowledge is valuable to personalized recommendation. In this paper we propose a new way for personalized recommendation in context-aware system which named field dependence/ independence-based recommendation. Field dependence/independence is a cognitive style of human and reflects the requirement of user about information. We compare the field dependence user with field independence user in context-aware environment, and make field dependence/independence be a characteristic parameter in personalized recommendation. We implement it and the performance seems excellent. © 2007 IEEE.

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

Evaluating the impact of requirements analysis tools using simulation

引用

software Process: Improvement and Practice 2008年第1期13卷

作者： David Raffo Robert Ferguson Siri-on Setamanit Bhuricha Sethanandha School of Business Administration Portland State University Portland Oregon 97201 USA Maseeh College of Engineering and Computer Science Portland State University Portland Oregon 97201 USA Software Engineering Institute Carnegie Mellon University Pittsburgh Pennsylvania 15213 USA Faculty of Commerce and Accountancy Chulalongkorn University Bangkok 10330 Thailand

Adopting new tools and technologies on a development process can be a risky endeavor. Will the project accept the new technology? What will be the impact? Far too often the project is forced to adopt the new technology without planning how it will be applied on the project or evaluating the technology's potential impact. In this article, we provide a case study evaluating a new technology. Specifically we assess the merits of an automated requirements analysis tool. First, we provide a background on automated requirements analysis tool technology. Then, using Process Simulation (P-SIM), we find situations where the use of this new technology is useful and situations where the use of this new technology is useless for large-scale NASA projects that utilize a process similar to the IEEE 12207 systems development life cycle. The method can be applied in assessing the impact (including Return on Investment), breakeven point, and the overall value of applying any tool on a project. Copyright © 2008 John Wiley & Sons, Ltd.

关键词： process improvement economic impact analysis of new technologies evaluation of new software tools process simulation

来源：评论

学校读者我要写书评

暂无评论

On the accuracy of spectrum-based fault localization

On the accuracy of spectrum-based fault localization

引用

Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

作者： Abreu, Rui Zoeteweij, Peter Van Gemund, Arjan J. C. Software Technology Department Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology P.O. Box 5031 NL-2600 GA Delft Netherlands

ISBN: (纸本)0769529844

Spectrum-based fault localization shortens the test-diagnose-repair cycle by reducing the debugging effort. As a light-weight automated diagnosis technique it can easily be integrated with existing testing schemes. However, as no model of the system is taken into account, its diagnostic accuracy is inherently limited. Using the Siemens Set benchmark, we investigate this diagnostic accuracy as a function of several parameters (such as quality and quantity of the program spectra collected during the execution of the system), some of which directly relate to test design. Our results indicate that the superior performance of a particular similarity coefficient, used to analyze the program spectra, is largely independent of test design. Furthermore, nearoptimal diagnostic accuracy (exonerating about 80% of the blocks of code on average) is already obtained for low-quality error observations and limited numbers of test cases. The influence of the number of test cases is of primary importance for continuous (embedded) processing applications, where only limited observation horizons can be maintained. © 2007 IEEE.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Enhanced random testing for programs with high dimensional input domains

Enhanced random testing for programs with high dimensional i...

引用

19th International Conference on software engineering and Knowledge engineering, SEKE 2007

作者： Kuo, F.-C. Sim, K.-Y. Sun, Chang-Ai Tang, S.-F. Zhou, Zhi Quan Faculty of Information and Communication Technologies Swinburne University of Technology Australia School of Engineering Sarawak Campus Swinburne University of Technology Malaysia Department of Mathematics and Computing Science University of Groningen Netherlands School of Computer Science and Software Engineering University of Wollongong Australia

ISBN: (纸本)9781627486613

Random Testing (RT) is a fundamental technique of software testing. Adaptive Random Testing (ART) has recently been developed as an enhancement of RT that has better fault detection effectiveness. Several methods (algorithms) have been developed to implement ART. In most ART algorithms, however, the above enhancement diminishes when the dimensionality of the input domain increases. In this paper, we investigate the nature of failure regions in high dimensional input domains and propose enhanced random testing algorithms that improve the fault detection effectiveness of RT in high dimensional input domains. Copyright © (2007) by Knowledge Systems Institute (KSI).

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：