Sökning: "formal modeling"

Visar resultat 1 - 5 av 37 uppsatser innehållade orden formal modeling.

  1. 1. Unified Modeling Language(UML) generation from userrequirements in naturallanguage

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

    Författare :Megh Gala; [2023]
    Nyckelord :;

    Sammanfattning : A significant challenge in software engineering is the process of translating natural language requirements into Unified Modeling Language (UML) diagrams. This thesis delves into the methodologies and approaches involved in the automated derivation of UML diagrams from textual requirements. LÄS MER

  3. 2. Optimizing course scheduling

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Victor Åström; [2023]
    Nyckelord :;

    Sammanfattning : Many Computer Science courses at Umeå University run at 50%-pace and students take two courses simultaneously. Lectures are held in one of four time-slots: Mondays and Thursdays or Tuesdays and Fridays, morning or afternoon. This results in four scheduling categories and courses from different categories can be taken together. LÄS MER

  4. 3. Konceptframtagning på en fixtur till Pansar Swedens lappningsmaskin

    Kandidat-uppsats, Jönköping University/JTH, Industriell produktutveckling, produktion och design

    Författare :Sebastian Akdogan; Kristian Chukro; [2023]
    Nyckelord :;

    Sammanfattning : This thesis is being done in collaboration with Pansar Sweden, who has identified many problems with their current prototype fixture. They believe that their fixture is not structured, user-friendly, and does not look like a product that is ready for mass production and sales. LÄS MER

  5. 4. Modeling of Enterprise Remote SIM Profile Provisioning Solution

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Hampus Holmström; [2022]
    Nyckelord :eSIM profile provisioning; CPN; Petri Nets; Formal modeling;

    Sammanfattning : Enterprise SIM profile provisioning solution is currently in development by some big players in the telecommunication industry. This solution may support an enterprise user staying anonymous to mobile network operators when remotely subscribing to SIM profiles. LÄS MER

  7. 5. Software Synthesis of Synchronous Data Flow Models Using ForSyDe IO

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Yihang Zhao; [2022]
    Nyckelord :Synchronous Data Flow; Software Synthesis; ForSyDe; ForSyDe IO; Synkront dataflöde; Mjukvarusyntes; ForSyDe; ForSyDe IO;

    Sammanfattning : The implementation of embedded software applications is a complex process. The complexity arises from the intense time-to-market pressures; power and memory constraints. To deal with this complexity, an idea is to automatically construct the applications based on the high-level abstraction model. LÄS MER