Search for dissertations about: "program theory"
Showing result 21 - 25 of 285 swedish dissertations containing the words program theory.
-
21. Program Analysis for Performance and Reliability
Abstract : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. READ MORE
-
22. Learning to be at a distance : structural and educational change in the digitalization of medical education
Abstract : As an expression of current challenges faced by contemporary societies, past decades have witnessed heavy demands for higher education to change and transform. One key question here has been the increased digitalization of higher education. READ MORE
-
23. Semantic Inspection of Software Artifacts From Theory to Practice
Abstract : 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. READ MORE
-
24. Testing and Proving using Narrowing
Abstract : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. READ MORE
-
25. Predictability By Construction : Working the Architecture/Program Seam
Abstract : Contemporary software engineering practice overemphasizes the distinction of software design from software implementation, and designer (“software architect”) from implementor (“computer programmer”). In this contemporary meme, software architects are concerned with large-grained system structures, quality attributes that arise from these structures (security, availability, performance, etc. READ MORE