Sökning: "SPL"
Visar resultat 1 - 5 av 29 avhandlingar innehållade ordet SPL.
1. Acoustic, perceptual and physiological studies of ten-year-old children's voices
Sammanfattning : The aim of the present investigation was to study hoarseness and its perceptual, acoustic and physiological characteristics in ten-year-old children's voices. Fifty-eight children's voices were perceptually evaluated along 15 voice parameters. LÄS MER
2. A Stacked Prism Lens Concept for Next-Generation Hard X-Ray Telescopes
Sammanfattning : Over the past half century, the focusing X-ray telescope has played a very prominent role in X-ray astronomy at the frontier of fundamental physics. The finer angular resolution and increased effective area have enabled more and more exciting discoveries and detailed studies of the high-energy universe, including the cosmic X-ray background (CXB) radiation, black holes in active galactic nuclei (AGN), galaxy clusters, supernova remnants, and so on. LÄS MER
3. Requirements-Level Reuse Recommendation and Prioritization of Product Line Assets
Sammanfattning : Software systems often target a variety of different market segments. Targeting varying customer requirements requires a product-focused development process. Software Product Line (SPL) engineering is one possible approach based on reuse rationale to aid quick delivery of quality product variants at scale. LÄS MER
4. Procedure-Modular Verification of Temporal Safety Properties
Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER
5. A Framework for Seamless Variant Management and Incremental Migration to a Software Product-Line
Sammanfattning : Context: Software systems often need to exist in many variants in order to satisfy varying customer requirements and operate under varying software and hardware environments. These variant-rich systems are most commonly realized using cloning, a convenient approach to create new variants by reusing existing ones. LÄS MER