Visar titlar:
Visas titlar 1-4 av 4
-
Addressing Traceability Challenges in the Development of Embedded Systems
(2017)Context: Currently, development e orts in embedded systems development lead to a large number of interconnected artifacts. Traceability enables understanding and managing these artifacts as they evolve. However, ... -
Analysing normative contracts - On the semantic gap between natural and formal languages
(2015)Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ... -
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 ... -
Understanding Software Design for Creating Better Design Environments
(Chalmers University of Technology and Göteborg University, 2017)Context: Software design is considered an essential activity to analyze software requirements in order to produce a description of the software's internal structure that will serve as the basis for its construction. Models ...