Sökning: "Anton Steen"

Hittade 2 uppsatser innehållade orden Anton Steen.

  1. 1. Evaluating the utility of a contract compositionality proof framework

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Anton Lövström; Anders Steen; [2020]
    Nyckelord :;

    Sammanfattning : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. LÄS MER

  3. 2. Corporate Social Responsibility in the Wind Power Industry : - a study about CSR preferences and stakeholder involvement

    Magister-uppsats, Stockholm Resilience Centre

    Författare :Anton Steen; [2009]
    Nyckelord :Corporate Social Responsibility; stakeholder management; stakeholder involvement; wind power;

    Sammanfattning : This thesis aims to determine what CSR issues stakeholders in the wind power industry careabout and how stakeholders want to be involved in these issues. The objective is furthermoreto test and improve the theory of stakeholder involvement – the normative idea thatstakeholder management should strive for maximum stakeholder involvement. LÄS MER