Sökning: "Staffan Bonnier"
Hittade 3 avhandlingar innehållade orden Staffan Bonnier.
1. Horn clause logic with external procedures : towards a theoretical framework
Sammanfattning : Horn clause logic has certain properties which limit its usefulness as a programming language. In this thesis we concentrate on three such limitations: (1) Horn clause logic is not intended for the implementation of algorithms. LÄS MER
2. Semantic Inspection of Software Artifacts From Theory to Practice
Sammanfattning : Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. LÄS MER
3. Restructuring the socially anxious brain : Using magnetic resonance imaging to advance our understanding of effective cognitive behaviour therapy for social anxiety disorder
Sammanfattning : Social anxiety disorder (SAD) is a common psychiatric disorder associated with considerable suffering. Cognitive behaviour therapy (CBT) has been shown to be effective but a significant proportion does not respond or relapses, stressing the need of augmenting treatment. LÄS MER