Search
Now showing items 61-64 of 64
A Light-Weight Defect Classification Scheme for Embedded Automotive Software Development
(2013-01-25)
Objective: Systematic software defect documentation is an essential part of software development process models as a means of early identification of patterns in defect inflow. Such documentation, however, may often be a ...
Contracts and Computation — Formal modelling and analysis for normative natural language
(2017-10-11)
Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ...
Reproducing Traditional Discourses of Teaching and Learning Mathematics: Studies of Mathematics and ICT in Teaching and Teacher Education
(2012-04-16)
This thesis is primarily concerned with the effects of education for future teachers in the context of the Swedish teacher training (Government Bill 1999/2000:135 2000). It belongs to a theoretical tradition in which the ...
Kunskapsintegrering med informationssystem i professionsorienterade praktiker
(2012-06-01)
Den här avhandlingen utgår ifrån ett professionsorienterat perspektiv på användning av informationssystem. Informationssystem för kunskapsintegrering i professionsorienterade arbetspraktiker innebär en dynamik för styrning ...