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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Constructing a Process Model for Decision Analysis and Resolution on COTS Selection Issue of Capability Maturity Model Integration

Constructing a Process Model for Decision Analysis and Resol...

引用

International Conference on computer and Information Science (ACIS)

作者： Phamorn Vantakavikran Nakornthip Prompoon Software Engineering Laboratory Center of Excellence in Software Engineering Department of Computer Engineering Faculty of Engineering Chulalongkom University Bangkok Thailand

The use of commercial off-the-shelf (COTS) software product can potentially reduce cost and time for software system development. But this promise is often not realized in practice because COTS product does not serve organizations' expectations. Thus, decision making on selecting COTS product becomes a critical task which should be performed in a systematic and repeatable manner. The decision analysis and resolution (DAR) process area of capability maturity model integration (CMMI) provides practices for formal evaluation process which could be applied to COTS selection. However, CMMI does not describe how to conduct the process that can achieve its defined goals. This research presents the DAR on COTS selection (DARCS) process model according to DAR process area of the CMMI. The model is consisted of three layers: core workflow layer, workflow details layer, and description layer.

关键词： Capability maturity model software engineering Costs software systems Decision making Business Processor scheduling Information science Systems engineering and theory Best practices

来源：评论

学校读者我要写书评

暂无评论

Bad-Smell Metrics for Aspect-Oriented software

Bad-Smell Metrics for Aspect-Oriented Software

引用

International Conference on computer and Information Science (ACIS)

作者： Komsan Srivisut Pornsiri Muenchaisri Software Engineering Laboratory Center of Excellence in Software Engineering Department of Computer Engineering Faculty of Engineering Chulalongkom University Bangkok Thailand

Aspect-oriented programming (AOP) is a new programming paradigm that improves separation of concerns by decomposing the crosscutting concerns in aspect modules. Bad smells are metaphors to describe software patterns that are generally associated with bad design and bad programming of object-oriented programming (OOP). New notions and different ways of thinking for developing aspect-oriented (AO) software inevitably introduce bad smells which are specific bad design and bad programming in AO software called AO bad smells. software metrics have been used to measure software artifact for a better understanding of its attributes and to assess its quality. Bad-smell metrics should be used as indicators for determining whether a particular fraction of AO code contains bad smells or not. Therefore, this paper proposes definition of metrics corresponding to the characteristic of each AO bad smell as a means to detecting them. The proposed bad-smell metrics are validated and the results show that the proposed bad- smell metrics can preliminarily indicate bad smells hidden in AO software.

关键词： software metrics software engineering Programming profession software measurement Laboratories Object oriented programming software quality Encapsulation Packaging Particle measurements

来源：评论

学校读者我要写书评

暂无评论

Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security Patterns

Enterprise Assets Security Requirements Construction from ES...

引用

Asia-Pacific Conference on software engineering

作者： Kawin Supaporn Nakornthip Prompoon Thongchai Rojkangsadan Software Engineering Laboratory Center of Excellence in Software Engineering Department of Computer Engineering Faculty of Engineering Chulalongkom University Bangkok Thailand

One of the highest priorities of system requirements needed in software development industry is security requirements. However, to identify the complete and correct software security requirements are a challenging task especially creating enterprise assets security requirements. Enterprise assets security requirements are to identify security basic needs, to assess risks, to establish security approach and service, and to specify external enterprise consideration including confidentiality, integrity, availability, and accountability concerns. Moreover, these may be applied to other security requirements such as identification and authentication, access control, firewall architecture, etc. Security patterns may be used to create this security requirements but understanding, analyzing and transforming from security patterns to security requirements are difficult to accomplish. We proposed a grammar, called ESRMG (enterprise security and risk management grammar), and a prototyping tool based on security patterns in a scope of enterprise asset identification and risk managements which are the fundamental of enterprise security requirements. The proposed grammar and tool are beneficial for any organization to construct enterprise security requirements and may help reduce cost and time in overall of system development.

关键词： Security Risk management Programming computer industry Construction industry Availability Authentication Access control Pattern analysis Prototypes

来源：评论

学校读者我要写书评

暂无评论

Finding a Test Order using Object-Oriented Slicing Technique

Finding a Test Order using Object-Oriented Slicing Technique

引用

Asia-Pacific Conference on software engineering

作者： Jutarat Jaroenpiboonkit Taratip Suwannasart Software Engineering Laboratory Department of Computer Engineering Faculty of Engineering Chulalongkom University Bangkok Thailand

For integration testing processes, testers need to find test sequences of classes in order to execute interactions. One major problem of test order is the presence of cyclic dependency calls. Many researchers have proposed techniques to solve this problem by removing relationships to break cycles and then create test stubs. Therefore, one major purpose of integration testing is minimization of test stubs. This paper presents an approach to find test sequences by using object-oriented slicing technique to alleviate using test stubs. The main objective of using object-oriented slicing is to break cycles by slicing classes for partial testing instead of removing relationships for test stub construction. With this approach, the cost of implementing test stubs is decreased.

关键词： software testing Costs software engineering Sorting Laboratories Displays NP-complete problem Graph theory

来源：评论

学校读者我要写书评

暂无评论

Defining and Detecting Bad Smells of Aspect-Oriented software

Defining and Detecting Bad Smells of Aspect-Oriented Softwar...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Komsan Srivisut Pornsiri Muenchaisri Center of Excellence in Software Engineering Department of Computer Engineering Faculty of Engineering Chulalongkom University Bangkok Thailand

Bad smells are software patterns that are generally associated with bad design and bad programming. They can be removed by using the refactoring technique which improves the quality of software. Aspect-oriented (AO) software development, which involves new notions and the different ways of thinking for developing software and solving the crosscutting problem, possibly introduces different kinds of design flaws. Defining bad smells hidden in AO software in order to point out bad design and bad programming is then necessary. This paper proposes the definition of new AO bad smells. Moreover, appropriate existing AO refactoring methods for eliminating each bad smell are presented. The proposed bad smells are validated. The results show that after removing the bad smells by using appropriate refactoring methods, the software quality is increased.

关键词： Design engineering software quality Object oriented programming software engineering software measurement Scattering Programming profession computer applications computer interfaces Application software

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：