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 technolog...
详细信息
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. Ho...
详细信息
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 (alg...
详细信息
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...
详细信息
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.
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, chara...
详细信息
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
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 typica...
详细信息
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 a...
详细信息
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.
Requirements traceability is becoming increasingly significant element in softwareengineering. It provides critical function in the development and maintenance of a software system. From the software evolution point ...
详细信息
Requirements traceability is becoming increasingly significant element in softwareengineering. 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.
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 e...
详细信息
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...
详细信息
暂无评论