Search
Now showing items 1-6 of 6
Qualitative and Quantitative Assessment of Integration Testing for Model-Based Software in the Automotive Industry
(2016)
Background: Integration testing of vehicle software in the automotive industry
relies heavily on simulation models. As they replicate actual vehicle functions
in the testing process, they increase in size and amount of ...
Sheaf Semantics in Constructive Algebra and Type Theory
(2016-10-06)
In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory.
In the ...
Cubical Intepretations of Type Theory
(2016-11-08)
The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ...
Value Network Transformation – Digital Service Innovation in the Vehicle Industry
(2016-01-07)
Advancement in digital technology is rapidly changing the contemporary landscape of business and associated networks for manufacturing firms. Many traditional physical products are now being embedded with digital components, ...
Methods and Tools for Automating Language Engineering
(2016-05-12)
Language-processing software is becoming increasingly present in our society. Making such tools available to the greater number is not just a question of access to technology
but also a question of language as they need ...