Essays about: "Formal"

Showing result 1 - 5 of 1097 essays containing the word Formal.

  1. 1. Extraction of Rust code from the Why3 verification platform

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Nils Fitinghoff; [2019]
    Keywords : Formal verification;

    Abstract : It is hard to ensure correctness as software grows more complex. There are many ways to tackle this problem. Improved documentation can prevent misunderstandings what an interface does. Well built abstractions can prevent some kinds of misuse. READ MORE

  2. 2. One for all, all for one? A study regarding collegial efficacy as a means to support English teachers in their teaching

    University essay from Malmö universitet/Lärande och samhälle

    Author : Emil Andersson; Jimmy Olsson; [2019]
    Keywords : collegial efficacy; english as a foreign language; EFL; ESL; Teacher perspective; CTE; workplace situation; workplace communication; collegial exchanges; supportive measures; competence development;

    Abstract : This study sets out to explore English teachers’ perceptions of aspects concerning their workplace and collegial collaborations. At the present time in Sweden, there is a need for new qualified teachers, and furthermore, a considerable amount of the current teachers employed are considering resignation. READ MORE

  3. 3. Culture for all? : A multiple logics approach to public organisation success

    University essay from Handelshögskolan i Stockholm/Institutionen för redovisning och finansiering

    Author : Katri Hyytiä; Marcus Sandström; [2019]
    Keywords : Management control; Public sector; Institutional logics; Culture; Success;

    Abstract : This paper examines multiple institutional logics in a public sector organisation and how they are reflected in the management control system (MCS) in terms of success. We define two logics, governance and culture logic. READ MORE

  4. 4. Risk, Resilience and Insurance in Sudanese Pastoralism

    University essay from Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

    Author : Alla Safieldin; [2019]
    Keywords : Climate change adaptation; Disaster risk management; Drought; Index-based livestock insurance; Pastoralism; Risk; Resilience; Sudan; Earth and Environmental Sciences;

    Abstract : The nomadic pastoralists of the Sahel are often identified as a group at the frontline of global climate change. Their existence in arid and semi-arid regions and their reliance on seasonal rainfall are among the factors that contribute to their vulnerability to drought and climate shocks. READ MORE

  5. 5. Cultural Impacts on the Managing of Knowledge Sharing Processes : A Qualitative Study of Swedish Banks in Shanghai, China

    University essay from Luleå tekniska universitet/Institutionen för ekonomi, teknik och samhälle

    Author : Sofia Öhman; [2019]
    Keywords : Knowledge sharing; Cultural diversity within companies; Cross-cultural management; Cultural clashes; Cultural understanding; Kunskapsöverföring; Multikulturella företag; Styrning av multikulturella företag; Kulturella konflikter; Kulturell förståelse;

    Abstract : The globalization of economies and the technology development have both increased opportunities to businesses as well as challenges. Multicultural workforces and other values in the market compared with the home market lead to complexity in the management control when a business establishes abroad. READ MORE