Essays about: "checking model"
Showing result 1 - 5 of 116 essays containing the words checking model.
-
1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. READ MORE
-
2. SeqLTL and ωLTL
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE
-
3. What are the odds of civil war? Investigating the relationship between quality of government, voter turnout, civil war, and the Democratic peace theory
University essay from Göteborgs universitet/Institutionen för globala studierAbstract : The aim of this thesis is to quantitatively investigate the relationship between the quality of government, voter turnout, and civil war. By doing a hypothesistesting analysis through logistic regression. READ MORE
-
4. Automated Foreign Object Detection on Conveyor Belts
University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknikAbstract : Ore is transported using belt conveyor systems. The transported ore has various anomalous objects that must be removed to prevent damage to the system. Currently anomalies are detected manually using humans. This leads to increased costs of wages and damage to the system overmissed anomalies. READ MORE
-
5. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING
University essay from Mälardalens universitet/Akademin för innovation, design och teknikAbstract : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. READ MORE