Search for dissertations about: "Program"

Showing result 21 - 25 of 2350 swedish dissertations containing the word Program.

2. 21. Automatic Extraction of Program Models for Formal Software Verification

   Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE

4. 22. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs

   Author : Husni Khanfar; Björn Lisper; Hans Hansson; Saad Mubeen; Daniel Hedin; Welf Löwe; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Static Program Analysis; Static Program Slicing; Control Dependency;

   Abstract : Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. READ MORE

5. 23. Physical restraint use and falls in institutional care of old people : effects of a restraint minimization program

   Author : Tony Pellfolk; Karlsson Stig; Knut Engedal; Umeå universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Physical restraints; falls; dementia; care of the elderly; risk factors; work environment; restraint minimization education program; staff knowledge and attitude; and quality of care.; Geriatrics and medical gerontology; Geriatrik och medicinsk gerontologi; Geriatrics; geriatrik;

   Abstract : Physical restraint use and falls are common in institutional care of old people and various attempts have been made to reduce their occurrence. Falls and concomitant injuries are a major problem due to their negative effect on morbidity and mortality. READ MORE

6. 24. Source Code Representations of Deep Learning for Program Repair

   Author : Zimin Chen; Martin Monperrus; Benoit Baudry; Zhendong Su; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Code Representation; Deep Learning; Program Repair; Datalogi; Computer Science;

   Abstract : Deep learning, leveraging artificial neural networks, has demonstrated significant capabilities in understanding intricate patterns within data. In recent years, its prowess has been extended to the vast domain of source code, where it aids in diverse software engineering tasks such as program repair, code summarization, and vulnerability detection. READ MORE

7. 25. Hälsopromotion i skolan. Utvärdering av DISA - ett program för att förebygga depressiva symtom hos ungdomar

   Author : Pernilla Garmy; Allmänmedicin och klinisk epidemiologi; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Adolescents; Depressive Symptoms; School-Based Program; Prevention; Cognitive Behavior Program; Health Education; Mental Health; Evaluation;

   Abstract : Background: DISA (Depressive Symptoms In Swedish Adolescents) is a cognitive behavioral intervention aimed at preventing stress and depressive symptoms in adolescents. It is frequently used in Swedish schools for students aged 13-15 years. DISA is commonly offered to females, but at some schools, the intervention is also offered to males. READ MORE