Essays about: "formal modeling"

Showing result 1 - 5 of 35 essays containing the words formal modeling.

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

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Megh Gala; [2023]
   Keywords : ;

   Abstract : 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. READ MORE

3. 2. Optimizing course scheduling

   University essay from Umeå universitet/Institutionen för datavetenskap

   Author : Victor Åström; [2023]
   Keywords : ;

   Abstract : 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. READ MORE

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

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Hampus Holmström; [2022]
   Keywords : eSIM profile provisioning; CPN; Petri Nets; Formal modeling;

   Abstract : 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. READ MORE

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

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Yihang Zhao; [2022]
   Keywords : Synchronous Data Flow; Software Synthesis; ForSyDe; ForSyDe IO; Synkront dataflöde; Mjukvarusyntes; ForSyDe; ForSyDe IO;

   Abstract : 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. READ MORE

6. 5. Linear dynamic logic on finite traces in business process management : a compositional approach

   University essay from Umeå universitet/Institutionen för datavetenskap

   Author : Mathias Hedqvist; [2022]
   Keywords : linear dynamic logic on finite traces; ldlf; linear temporal logic on finite traces; ltlf; business process management; bpm;

   Abstract : One way of modeling workflows in business process management (BPM) is by using a declarative approach, that is, instead of imperatively specifying what needs to be done, and in what order, one can specify constraints on what is allowed. The result is a more flexible model as everything that does not violate the specified constraints is allowed. READ MORE