Sökning: "Formalization"

Visar resultat 16 - 20 av 72 avhandlingar innehållade ordet Formalization.

  1. 16. Enabling and Coercive Control : Coexistence in the Case of Banking

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Magnus Persson; Martin Törngren; De-Jiu Chen; Werner Damm; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 18. Theory Exploration for Programs and Proofs

    Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

    Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER

  5. 19. The Product Development-Production Interface in a Dispersed Setting - Implications for Product Development Management

    Författare :Rolf Lundin; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Design; Product Realization; Manufacturing; Distributed Work; Integration;

    Sammanfattning : Obtaining an efficient and effective product realization process demands a well-managed interface between the product development process and production process. Coordinating the process becomes however more difficult if the production site is located in one country and engineering design department in another. LÄS MER

  7. 20. Relations in Dependent Type Theory

    Författare :Carlos Gonzalía; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER