Sökning: "safety case argumentation notations"

Visar resultat 1 - 5 av 6 uppsatser innehållade orden safety case argumentation notations.

1. 1. Att bränna en bok och hota rikets säkerhet - en kritisk analys av polismyndighetens extensiva tolkning av ordningslagen

   Kandidat-uppsats, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

   Författare :Alice Sund; [2023]
   Nyckelord :konstitutionell rätt; statsrätt; demonstrationsfrihet; mötesfrihet; församlingsfrihet; ordningslag; Law and Political Science;

   Sammanfattning : I februari 2023 avslog Stockholms polismyndighet två ansökningar om allmän sammankomst för koranbränning utanför två ambassader. Besluten kom sedan att rivas upp i förvaltningsrätten men polismyndigheten har överklagat domarna. LÄS MER

3. 2. Hur otydlig får man vara? - En kritisk analys av 5 kap. 6 § skollagen vad gäller rektors och lärares befogenhet att ingripa fysiskt mot elever

   Kandidat-uppsats, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

   Författare :David Larsson; [2020]
   Nyckelord :Offentlig rätt; skollagen; kroppsligt ingrepp; Law and Political Science;

   Sammanfattning : Innan nuvarande skollag trätt i kraft uttryckte många lärare en osäkerhet kring vilka åtgärder som får vidtas för att komma tillrätta med akuta ordningsstörande situationer. Högsta domstolen efterlyste samtidigt att lagstiftaren skulle ta klar ställning kring frågan om tillåtligheten av kroppsliga ingrepp mot elever och vid behov införa uttryckliga regler om detta. LÄS MER

4. 3. A Comparative Analysis of Argumentation Languages in the Context of Safety Case Development

   Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Sirisha Bai Govardhan Rao; [2019]
   Nyckelord :safety case argumentation languages; safety case argumentation notations; documentation of safety cases;

   Sammanfattning : The safety case creation has become an explicit requirement in most of the safety-critical domains to ensure the safety of a system or an application. In the process of developing a safety case, the foremost requirement is choosing an efficient argumentation language which fulfills all the functionalities needed to develop a safety case. LÄS MER

5. 4. Fjällens oupptäckta kulturarv : Fjällstugorna ur ett byggnadsantikvariskt perspektiv

   Kandidat-uppsats, Uppsala universitet/Kulturvård

   Författare :Elin Sjöberg; [2019]
   Nyckelord :Kulturarv; Byggnadsvård; Byggnadsinventering; Fjällstuga; Kungsleden;

   Sammanfattning : Kungsleden is Sweden's oldest walking trail with a widespread system of cabins. The cabins are an important part of the safety system in the mountains, offering both comfort and shelter for the hiker. With building functionality in focus, the cabins are constantly renovated and modernized to ensure standards are maintained. LÄS MER

7. 5. A Tool-Supported Method for Fallacies Detection in Process-Based Argumentation

   Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Laura Gómez Rodríguez; [2018]
   Nyckelord :Process models; safety cases; process-based argumentation; argumentation fallacies; model transformation;

   Sammanfattning : Process-based arguments aim at demonstrating that a process, compliant with a standard, has been followed during the development of a safety-critical system. Compliance with these processes is mandatory for certification purposes, so the generation of process-based arguments is essential, but also a very costly and time-consuming task. LÄS MER