نتایج جستجو برای: case modeling
تعداد نتایج: 1709370 فیلتر نتایج به سال:
UML is a standard language that used in business modeling for specifying, visualizing and constructing the software artifacts. UML provides the capability to enhance (explore) the static structure and dynamic behavior of a software system. Different UML strategies and techniques are implemented during the whole software development life cycle. This paper explains the UML2.0 testing for test cas...
Software testing and debugging represents around one third of total effort in development projects. Different factors which have influence on poor practices of testing have been identified through specific surveys. Amongst several, one of the most important is the lack of efficient methods to exploit development models for generating test cases. This paper presents a new method for automaticall...
Abstract—In this paper, the performances of thinned arrays based on Almost Difference Sets are analyzed in the presence of mutual coupling effects. The geometry under test is composed by thin dipole elements and the arising mutual interactions are modeled by means of the induced EMF method. To assess the robustness of the ADS -based thinning technique also in such a non-ideal case, an extensive...
Aircraft diagnosis is a highly complex topic. Many knowledge sources are required and have to be integrated into a diagnosis system. This paper describes the instantiation of a multi-agent system for case-based aircraft diagnosis based on the SEASALT architecture. This system will extend an existing rulebased diagnosis system, to make use of the experience on occurred faults and their solutions...
Building a methodology for developing and maintaining CBR applications is an important goal currently addressed by CBR researchers and practitioners. Since CBR application development is a special kind of software development, building a CBR methodology can certainly be viewed as a software engineering research and development activity. This paper presents a perspective of how software process ...
Rational cryptography is an emerging field which combines aspects traditionally related to security with concepts described in economic theoretical frameworks. For example, it applies game theory concepts to address security problems arising when executing cryptographic protocols. The aim is to replace the assumption of a worst–case attacker by the notion of rational agents that try to maximize...
We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an automaton. We propose new automata coverage criteria that are tailored to the property automata we consider. These criteria are based on the coverage o...
The paper shows the results of the convective heat transfer prediction in turbulent axisymmetric jets impinging onto a flat plate using the newest version (2006) of the k-ω turbulence model of Wilcox [1]. Improvements to the heat transfer predictions are obtained in the strongly strained flow regions with the impingement invariant proposed by Manceau [2] together with the F1 function proposed b...
We propose a complete image-based process that facilitates recovery of both gross-scale geometry and local surface structure to create highly detailed 3D models of building façades from photographs. We approximate both albedo and sufficient local geometric structure to compute complex self-shadowing effects, and fuse this with a gross-scale 3D model. Our approach yields a perceptually high-qual...
Current digital preservation is strongly biased towards data objects: digital files of document-style objects, or encapsulated and largely self-contained objects. To provide authenticity and provenance information, comprehensive metadata models are deployed to document information on an object’s context. Yet, we claim that simply documenting an objects context may not be sufficient to ensure pr...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید