Essays about: "verification strategy"
Showing result 1 - 5 of 45 essays containing the words verification strategy.
-
1. Sustainability-Linked Bonds - A Case Study of H&M
University essay from Handelshögskolan i Stockholm/Institutionen för finansiell ekonomiAbstract : The thesis investigates the sustainability-linked bond issuance by fast fashion company H&M in the midst of the Covid-19 pandemic. The study contributes to existing literature by providing observations of real-world practitioners on the cost-benefit considerations of SLB issuance, in particular, challenging the notion of a "free lunch", conversely concluding that the greatest concern is attributed to potential reputational damage in the event of missed targets. READ MORE
-
2. Testing and Integration of Machine Learning Components for Image Classification : Testning och integration av machine learning komponenter förbildklassificering
University essay from Linköpings universitet/Institutionen för datavetenskapAbstract : As ML (Machine Learning) and deep neural networks get more used in many systems,the need to understand and test such systems becomes more actual. When designing a newsystem that contains ML models, the safety of this system becomes inevitably important. READ MORE
-
3. Test Strategy for New Product Development : Specific actions to enhance overall test strategy at ABB Robotics
University essay from KTH/ProduktionsutvecklingAbstract : Testing is a crucial process for organizations to identify any defects, ensure high-quality standards, enhance customer experience, mitigate risks, and comply with regulations. With proactive identification and resolution of problems, efficient testing saves time, money, and effort, ultimately contributing to the organization's overall success. READ MORE
-
4. Fault diagnosis of a variable pole-phase motor
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Wound Independently Controlled Stator Coil (WICSC) machines are a novel type of multiphase machine with the ability to change its pole-phase configuration during operation. This enables improved post-fault control and thus prolonged continuous operation. READ MORE
-
5. Automated Inference of ACSL Contracts for Programs with Heaps
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE