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

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

来源：评论

学校读者我要写书评

暂无评论

ECG and heart rate determination in fetal cattle using a digital signal processing method

引用

Animal science Journal 2008年第6期73卷

作者： Wenxi CHEN Tetsu NEMOTO Toshio KOBAYASHI Toshiyuki SAITO Etsuko KASUYA Yoshifumi HONDA Department of Computer Software University of Aizu Aizu-Wakamatsu-shi Medical College Kanazawa University Kanazawa-shi Faculty of Engineering Soka University Hachioji-shi National Institute of Agrobiological Sciences Kukizaki-machi Ibaraki-ken and National Institute of Livestock and Grassland Science Tsukuba Norin Kenkyu Danchi Ibaraki-ken Japan

A method of recording the fetal electrocardiogram (ECG) and heart rate (HR) is described. An abdominal lead and a thoracic lead were used to measure the fetal ECG and maternal ECG, respectively. The maternal component in the abdominal lead measurement was estimated by a digital adaptive filter using the thoracic lead measurement as a reference. By suppressing the estimated maternal components in the abdominal lead, the fetal ECG could be detected. The beat-by-beat fetal QRS complex peaks were determined by a digital matched filter from the fetal ECG enhanced in this way. The method was trialed in 10 pregnant Holstein cows at gestational periods ranging from 136 to 224 days. The results show that this method can extract the fetal ECG and determine the fetal HR from the raw noisy measurement data. The results suggest that the method would have applicability in monitoring fetal ECG as well as providing a non-invasive, continuous HR profile during gestation, which will enable better understanding of the development of cattle fetuses before delivery.

关键词： digital signal processing electrocardiogram fetal cattle heart rate pregnancy monitoring

来源：评论

学校读者我要写书评

暂无评论

A Pattern System for Security Requirements engineering

A Pattern System for Security Requirements Engineering

引用

International Conference on Availability, Reliability and Security, ARES

作者： Denis Hatebur Maritta Heisel Holger Schmidt Faculty of Engineering Department of Computer Science Workgroup Software Engineering University of Duisburg-Essen Germany

ISBN: (纸本)9780769527758

We present a pattern system/or security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of problem frames that serve to structure, characterize, analyze, and finally solve software development problems in the area of software and system security. We equip each frame with formal preconditions and postconditions. The analysis of these conditions results in a pattern system that explicitly shows the dependencies between the different frames. Moreover, we indicate related frames, which are commonly used together with the considered frame. Hence, our approach helps security engineers to avoid omissions and to cover all security requirements that are relevant for a given problem

关键词： Pattern analysis Data security computer security software systems software engineering Programming Authentication Reliability engineering computer science Instruments

来源：评论

学校读者我要写书评

暂无评论

Slicing of component behavior specification with respect to their composition

Slicing of component behavior specification with respect to ...

引用

10th International ACM SIGSOFT Symposium on Component-Based software engineering, CBSE 2007

作者： Šerý, Ondřej Plašil, František Charles University in Prague Faculty of Mathematics And Physics Department of Software Engineering Malostranske namesti 25 118 00 Prague 1 Czech Republic Academy of Sciences of the Czech Republic Institute of Computer Science

ISBN: (纸本)9783540735502

Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component's architecture (assembly). However, since typically only a part of the components' functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the components in their behavior specification. This paper targets the problem in the scope of behavior protocols. It presents a technique for slicing behavior protocols with respect to a given context (composition), designed to remove the unused behavior from a behavior specification. The technique is based on a formal foundation, generic enough to support slicing with respect to a property expressed as a predicate. To demonstrate viability of the proposed approach, a positive experience with behavior specification slicing applied in real-life case study is shared with the reader (along with a short description of a prototype). © Springer-Verlag Berlin Heidelberg 2007.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Advanced features of hierarchical component models

Advanced features of hierarchical component models

引用

10th International Conference on Information System Implementation and Modeling, ISIM 2007

作者： Hnětynka, Petr Bures, Tomas Performance Engineering Lab. School of Computer Science and Informatics University College Dublin Ireland Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranskć náměstí 25 Prague 1 11800 Czech Republic

Using software components has become a widely used development technique for building large enterprise systems. However in practice, component applications are still primarily built using simple component models and advanced component models offering valuable features like component nesting, multiple communication styles, behavior validation, etc. are omitted (by industry in particular). Based on our experience, such an omitting is mainly caused due to usually unbalanced semantics of these advanced features. In this paper, we present a "next-generation" component model SOFA 2.0, which in particular aims at a proper support of such advanced features.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

An Evaluation of Traceability Approaches to Support software Evolution

An Evaluation of Traceability Approaches to Support Software...

引用

International Conference on software engineering Advances (ICSEA)

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

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.

关键词： software engineering software systems Information retrieval Indexing Algorithm design and analysis computer science Information systems software maintenance Resumes software algorithms

来源：评论

学校读者我要写书评

暂无评论

A taxonomy for a constructive approach to software evolution

Journal of Software

引用

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

来源：评论

学校读者我要写书评

暂无评论

software documents: Comparison and measurement

Software documents: Comparison and measurement

引用

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

作者： Arbuckle, Tom Balaban, Adam Peters, Dennis K. Lawford, Mark Department of Computer Science and Information Systems CSIS Building University of Limerick Plassey Park Limerick Ireland Institute of Informatics Warsaw University Banacha 2 02-097 Warsaw Poland Electrical and Computer Engineering Faculty of Engineering and Applied Science Memorial University of Newfoundland St. John's NL A1B 3X5 Canada Department of Computing and Software Faculty of Engineering McMaster University Hamilton ON L8S 4K1 Canada

ISBN: (纸本)9781627486613

For some time now, researchers have been seeking to place software measurement on a more firmly grounded footing by establishing a theoretical basis for software comparison. Although there has been some work on trying to employ information theoretic concepts for the quantification of code documents, particularly on employing entropy and entropy-like measurements, we propose that employing the Similarity Metric of Li, Vit´anyi, and coworkers for the comparison of software documents will lead to the establishment of a theoretically justifiable means of comparing and evaluating software artifacts. In this paper, we review previous work on software measurement with a particular emphasis on information theoretic aspects, we examine the body of work on Kolmogorov complexity (upon which the Similarity Metric is based), and we report on some experiments that lend credence to our proposals. Finally, we discuss the potential advantages derived from the application of this theory to areas in the of software engineering. Copyright © (2007) by Knowledge Systems Institute (KSI).

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

Evolution of web applications with aspect-oriented design patterns

Evolution of web applications with aspect-oriented design pa...

引用

2nd International Workshop on Adaptation and Evolution in Web Systems engineering, AEWSE 2007

作者： Bebjak, Michal Vranić, Valentino Dolog, Peter Institute of Informatics and Software Engineering Faculty of Informatics and Information Technology Slovak University of Technology Ilkovičova 3 84216 Bratislava 4 Slovakia Department of Computer Science Aalborg University Fredrik Bajers Vej 7 DK-9220 Aalborg EAST Denmark

It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or-even worse-purely lexical level. Using aspect-oriented programming, changes can be modularized and made reapplicable. In this paper, selected change types in web applications are analyzed. They are expressed in terms of general change types which, in turn, are implemented using aspect-oriented programming. Some of general change types match aspect-oriented design patterns or their combinations.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Efficient Algorithms for Mining Closed Multidimensional Sequential Patterns

Efficient Algorithms for Mining Closed Multidimensional Sequ...

引用

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Veera Boonjing Panida Songram Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand Department of Computer Science Faculty of Informatics Mahasarakham University Mahasarakham Thailand

A combination of closed sequential pattern mining and closed itemset pattern mining was proposed to mine closed multidimensional sequential patterns. There are two ways for this combination; (1) mining closed itemset patterns from multidimensional information followed by mining closed sequential patterns from sequences associated with closed itemset patterns, and (2) mining closed sequential patterns from sequences followed by mining closed itemset patterns from multidimensional information associated with closed sequential patterns. In the first way the major cost is mining all sequences associated with closed itemset patterns. A similar problem occurs with the second way, the major cost is mining all multidimensional information associated with closed sequential patterns. Therefore, this paper proposes two new combinations that don't need to mine all sequences in the first combination, and all multidimensional information in the second combination. Both combinations can be effected by exploiting two concepts. In the first combination, any closed sequential patterns associated with a closed itemset patten I can be found from a set of closed sequential patterns associated with a closed itemset pattern I' if I sup I'. In the second combination, any closed itemset patterns associated with a closed sequential pattern s can be found from a set of closed sequential patterns associated with a closed itemset pattern s' if s sup s'.

关键词： Multidimensional systems Data mining Itemsets Costs computer science software algorithms software systems Systems engineering and theory Laboratories Mathematics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：