Sökning: "plugin"

Visar resultat 6 - 10 av 168 uppsatser innehållade ordet plugin.

1. 6. Automated Inference of ACSL Contracts for Programs with Heaps

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

   Författare :Oskar Söderberg; [2023]
   Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Sammanfattning : 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. LÄS MER

3. 7. Automatic icon placement approach for improved association & walkability on city wayfinding maps

   Master-uppsats, Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap

   Författare :Sofia Apostolidou; [2023]
   Nyckelord :Physical Geography; Ecosystem Analysis; Cartography; Icon placement; High density; City wayfinding maps; Quality metrics; Association; Disturbance; Legibility; Cartographic guidelines; Grid algorithm; Evaluation; Multi-objective optimization; NSGA-II; Pareto front; Walkability; Geomatics; Earth and Environmental Sciences;

   Sammanfattning : With the evolution of cartography from hand-drawn to digital maps, the task of icon placement has become increasingly complex. Nowadays there is a need to automate this process to produce high quality results in less time. LÄS MER

4. 8. JBlocks : En blockplugin för WordPress

   M1-uppsats, Mittuniversitetet/Institutionen för data- och elektroteknik (2023-)

   Författare :Joacim Bäcklund; [2023]
   Nyckelord :WordPress; PHP; JavaScript; CSS; HTML; Plugin; Gutenbergblock.;

   Sammanfattning : Today there are a large number of plugins available for WordPress to manage various types of content and many of them work really well. However, one problem is that the user only gets the control that the plugin creator has allowed from the beginning. LÄS MER

5. 9. Encourage democracy : Creating a secure and reliable voting function in WordPress

   M1-uppsats, Mittuniversitetet/Institutionen för data- och elektroteknik (2023-)

   Författare :Christine Johanson; [2023]
   Nyckelord :WordPress; Plugin; CMS; Gutenberg;

   Sammanfattning : The purpose of my project has been to create a voting feature on a campaign site for WWF, where visitors to the website can participate in voting and vote for different cities around the world to improve their sustainability efforts. The website has been developed in WordPress based on specified requirements, including security and voting frequency. LÄS MER

7. 10. Visualizing issue tracking data using a process mining tool to support the agile maturity assessment within the Scaled Agile Framework : A case study

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

   Författare :Olle Hovmark; [2022]
   Nyckelord :Processmining; Agilematurity; Visualization; Issuetrackingsystem; Software Process Improvement; The Scaled Agile Framework; Inductive visual Miner; Process mining; Agil mognad; Visualisering; Ärendehanteringssystem; Mjukvaruprocessförbättring; The Scaled Agile Framework; Inductive visual Miner;

   Sammanfattning : Today, agile development is broadly used within both small and large organizations worldwide. Transitioning to agile development in a large organization is a complex task that requires support from everyone in it. The Scaled Agile Framework (SAFe) is a framework meant to help integrate agile development within all parts of an organization. LÄS MER