Sökning: "CBMC"

Hittade 5 uppsatser innehållade ordet CBMC.

  1. 1. Filtering equivalent changes from dependency updates with CBMC

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Jonas Mårtensson; [2022]
    Nyckelord :CBMC; change impact analysis; equivalence analysis; auto-generation; CBMC; konsekvensanalys; ekvivalensanalys; autogenerering;

    Sammanfattning : Background. Open source dependencies have become ubiquitous in software development and the risk of regressions during an update are a key concern facing developers. Change impact analysis (CIA) can be used to assess the effects of a dependency update and aid in addressing this challenge. LÄS MER

  3. 2. Cirkulär ekonomi integrerad i affärsmodellen : en fallstudie av industriföretaget Dustcontrol AB

    Kandidat-uppsats, SLU/Dept. of Economics

    Författare :Ellinor Berg; Lovisa Larsson; Karolina Svensson; [2018]
    Nyckelord :affärsmodell; cirkulär ekonomi; integrering; miljöarbete; små- och medelstora företag;

    Sammanfattning : Världen över råder en diskussion kring den globala resurshanteringen och dess påföljder, då jordens resurser förbrukas allt snabbare. Majoriteten av företagen har idag ett linjärt synsätt i sin affärsmodell, vilket innebär att de inte tar hänsyn till vad som händer med produkten efter slutkonsumtion. LÄS MER

  4. 3. Cirkulär ekonomi på mikronivå : En fallstudie om hur ett mikroföretag imodebranchen kan agera för att sluta kretsloppet.

    Kandidat-uppsats, Högskolan i Borås/Akademin för textil, teknik och ekonomi

    Författare :Mathilda Claeson Holmgren; Tilda Göransson; [2018]
    Nyckelord :Circular economy CE ; circular business model canvas CBMC ; circular business model CBM ; micro business; fashion industry; Cirkulär ekonomi CE ; circular business model canvas CBMC ; cirkulära affärsmodeller; mikroföretag; modeindustrin;

    Sammanfattning : I Sverige är 93% av alla existerande företag i mikrostorlek. Trots det finns det väldigt lite forskning på hur de ska gå tillväga för att implementera en cirkulär affärsmodell. Syftet med studien är att undersöka vilka förutsättningarna ett modeföretag i mikrostorlek kan ha för att implementera cirkulära affärsmodeller. LÄS MER

  5. 4. Automatic Detection of Unspecified Expression Evaluation in FreeRTOS Programs

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Shahrzad Khodayari; [2014]
    Nyckelord :;

    Sammanfattning : Embedded systems are widely used in most electrical devices. They are often complex and safety-critical. Therefore, their reilability is significantlyimportant. AMong many techniques to verify a system, model checking models a system into temporal logic and can be used to assert a desired property on it. LÄS MER

  7. 5. Model checking of multicore software using CBMC

    Master-uppsats, Institutionen för informationsteknologi

    Författare :Ashok Kelur; [2012]
    Nyckelord :;

    Sammanfattning : Computers have been key subsystems in various complex systems. As computers are adapted into various fields, hardware and software are increasing in size and complexity. It is evident that parallel computing is the way to solve large scale complex information technology problems. LÄS MER