Sökning: "requirements refinement"
Visar resultat 1 - 5 av 35 avhandlingar innehållade orden requirements refinement.
1. Software Robustness: From Requirements to Verification
Sammanfattning : The importance of software quality increases as software products become more intertwined with our everyday lives. A critical software quality attribute is robustness, i.e. that the software shows stable behavior in stressful conditions and when receiving faulty inputs. LÄS MER
2. Requirements Engineering Supporting Technical Product Management
Sammanfattning : Market-Driven Requirements Engineering (MDRE) handles the continuous flow of requirements in an engineering effort, and is not limited to a development instance but part of technical product management as a whole. The market-driven environment generates large amounts of requirements from multiple sources, internal and external, threatening to overload the technical management of products. LÄS MER
3. On development of information systems with GIS functionality in public health informatics : a requirements engineering approach
Sammanfattning : Public health informatics has in recent years emerged as a field of its own from medical informatics. Since public health informatics is newly established and also new to public health professionals, previous research in the field is relatively scarce. LÄS MER
4. Model-based Approaches to Privacy Compliance
Sammanfattning : In the last decade, information technologies have been developing dramatically, and therefore data harvested via the Internet is growing rapidly. This technological change has a negative impact on privacy due to the sensitivity of the data collected and shared without convenient control or monitoring. LÄS MER
5. Adaptive Solvers for High-Dimensional PDE Problems on Clusters of Multicore Processors
Sammanfattning : Accurate numerical solution of time-dependent, high-dimensional partial differential equations (PDEs) usually requires efficient numerical techniques and massive-scale parallel computing. In this thesis, we implement and evaluate discretization schemes suited for PDEs of higher dimensionality, focusing on high order of accuracy and low computational cost. LÄS MER
