Essays about: "Formal Analysis"

Showing result 1 - 5 of 358 essays containing the words Formal Analysis.

  1. 1. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik; Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Vasja Çollaku; Paolo Shestani; [2019]
    Keywords : UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

    Abstract : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. READ MORE

  2. 2. Youth Political Participation in the Midst of the South Africa General Elections : A Case Study Analysis in the Langa Township

    University essay from Linnéuniversitetet/Institutionen för samhällsstudier (SS)

    Author : Jamie Kerr; [2019]
    Keywords : Youth Political Participation;

    Abstract : Declining youth political participation among democracies has been a major issue and a widely researched debate in recent years. Most research has targeted youth in democracies in general but has failed to acknowledge the youth living in poverty such as those living in South African townships. READ MORE

  3. 3. Distance students’ perspectives about a formal learning management system at a Swedish university 

    University essay from Linnéuniversitetet/Institutionen för informatik (IK)

    Author : Yangyang XU; [2019]
    Keywords : Distance education; Learning Management System Moodle; interaction; students perspectives.;

    Abstract : This thesis has conducted interpretive qualitative research to investigate the impacts and limitations of LMS Moodle in distance students’ learning process from distance students’ perspectives. The qualitative data was collected from mediated semi-structured interviews with distance students participating in a Master program at Linnaeus University. READ MORE

  4. 4. Trädgårdsmästarbostaden : gestaltning av en visningsträdgård med växter från Nationella genbankens samlingar

    University essay from SLU/Department of Landscape Architecture, Planning and Management (from 130101)

    Author : Maria Claesson; [2019]
    Keywords : biologisk mångfald; nationella genbanken; programmet för odlad mångfald; Pom; grönt kulturarv; kulturväxter; Rio-konventionen; gestaltning; visningsträdgård;

    Abstract : Older cultural plants that has been gathered within the framework of the Program for cultivated diversity (Pom), are preserved in the Swedish National genebank for vegetatively propagated horticultural crops. Pom is a result of the Rio-convention that in 1992 lead to the Swedish Riksdag taking a strategic decision. READ MORE

  5. 5. The effect of mobile money on savings behaviors of the financially excluded

    University essay from Södertörns högskola/Nationalekonomi

    Author : Jackline Mwende Skogqvist; [2019]
    Keywords : mobile money; savings; financial inclusion; formal financial institutions; financially excluded;

    Abstract : This study investigates whether the use of mobile money affects the savings patterns of individuals that are vulnerable to financial exclusion, that is, the low-income earners, low-educated, women and rural habitants. Studying the case of Kenya, this study uses data from the 2016 FinAccess Household Survey (N=8,665) that was designed to track and measure the drivers, growth and impact of mobile money use in Kenya. READ MORE