Search for dissertations about: "Formalization"

Showing result 11 - 15 of 67 swedish dissertations containing the word Formalization.

  2. 11. Facilitating Automated Compliance Checking of Processes against Safety Standards

    Author : Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Rory O'Connor; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Safety Standards Formalization; Safety Processes; Computer Science; datavetenskap;

    Abstract : A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. READ MORE

  4. 12. Formalizing Univalent Set-Level Structures in Cubical Agda

    Author : Max Zeuner; Anders Mörtberg; Martin Escardo; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This licentiate thesis consists of two papers on formalization projects using Cubical Agda, a rather new extension of the Agda proof assistant with constructive support for univalence and higher inductive types. The common denominator of the two papers is that they are concerned with structures on types that are sets in the sense of Homotopy Type Theory or Univalent Foundations (HoTT/UF). READ MORE

  5. 13. Small-Small : Moral Economy and the Marketspace in Northern Ghana

    Author : Ulrik Jennische; Christina Garsten; Johan Lindquist; Sten Hagberg; Dinah Rajak; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Ghana; small-scale trade; moral economy; informality; space and place; citizenship; socialantropologi; Social Anthropology;

    Abstract : Over the past decade, the Ghanaian government has tried to include and accommodate the many people working in the so-called informal economy. This formalization process is in line with a global market-driven development discourse. READ MORE

  6. 14. Enabling and Coercive Control : Coexistence in the Case of Banking

    Author : Cecilia Ekström; Tobias Johansson; Gabriella Wennblom; Magnus Hansson; Anders Hersinger; Örebro universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Enabling control; coercive control; coexistence of control; attitudinal outcomes of control; management control; regulation; banking;

    Abstract : This thesis focuses on subjects of control and attitudinal outcomes of formalized control in organizations. Previous research have concluded contradicting results of whether formalized control is positive or negative for the employees and propose that not only degree of formalization, but also type of formalization, can explain attitudinal outcomes. READ MORE

  7. 15. A Formalized Approach to Multi-View Components for Embedded Systems : Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration

    Author : Magnus Persson; Martin Törngren; De-Jiu Chen; Werner Damm; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; view; viewpoint; architecture; component; view integration; architecture exploration; component-based development; multi-view modeling; model-based design; CESAR; DySCAS; ESPRESSO;

    Abstract : Development of embedded systems poses an increasing challenge fordevelopers largely due to increasing complexity. Several factors contribute tothe complexity challenge:• the number of extra-functional properties applying to embedded systems,such as resource usage, timing effects, safety. READ MORE