Results 31 to 40 of about 5,324,413 (319)
TRANSFORMING SOFTWARE REQUIREMENTS INTO TEST CASES VIA MODEL TRANSFORMATION
<p>Executable test cases originate at the onset of testing as abstract requirements that represent system behavior. Their manual development is time-consuming, susceptible to errors, and expensive.
TRANSFORMING SOFTWARE REQUIREMENTS INTO TEST CASES VIA MODEL TRANSFORMATION
core +1 more source
Geosynthetic reinforced and pile-supported (GRPS) provide an economic and effective solution for embankments. To investigate the load-bearing mechanism of the GRPS embankment in loess, experimental and numerical studies under static and dynamic loading ...
Yousheng Deng +4 more
doaj +1 more source
Testing agile requirements models [PDF]
This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development ...
Jewgenij Botaschanjan +2 more
openaire +3 more sources
New and existing components of retaining structures are often combined in the width section. When combining the design and use requirements of the existing and new structures, the synergistic interactions between the existing and new structures and the ...
Wenhui Zhao, Xiaomin Wu, Xuening Ma
doaj +1 more source
Maneuvering Hydrodynamic Forces Acting on Manta-type UUV Using CFD
In this study, we investigate surge force, heave force, and pitch moment, which are vertical plane hydrodynamics acting on Manta-type unmanned underwater vehicles (UUVs), using a model test and computational fluid dynamics (CFD) simulation. Assessing the
Seong-Eun Lee +2 more
doaj +1 more source
The distribution of the initial temperature field of a high-rock-temperature tunnel is critical for determining the tunnel line and the construction scheme.
Shoubang Sun +3 more
doaj +1 more source
Research on Vertical Bearing Characteristics of Single Pile in Complex Interactive Karst Area
This study investigates the vertical bearing characteristics of single-pile foundations in complex karst areas, focusing on the influence of underlying cavities, eccentric cavities, and beaded cavities.
Xinquan Wang +5 more
doaj +1 more source
Study of Load Calculation Models for Anti-Sliding Short Piles Using Finite Difference Method
Anti-sliding short piles, a novel technique for slope stabilization, have been applied in engineering practices. Nonetheless, a mature structural calculation theory for these piles is still lacking.
Xunchang Li +3 more
doaj +1 more source
Shield tunnels’ structural stability is challenged due to the fact that they are often built under rivers, lakes, and oceans. It is crucial to execute the structural deformation perception of the shield tunnel.
Rongjun Xing +8 more
doaj +1 more source
Morphological Evolution of Passive Soil Arch in Front of Horizontal Piles in Three Dimensions
The anti-slide pile is a primary method of landslide control. The effect of the passive soil arch in front of the embedded section of piles has a significant effect on the anti-slide pile’s bearing capacity.
Xiang Ren +4 more
doaj +1 more source

