Sökning: "Web semantik"

Visar resultat 1 - 5 av 6 uppsatser innehållade orden Web semantik.

  1. 1. Reliable Web Applications Through Contracts and Generative Testing

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

    Författare :Fredrik Hallsmar; [2022]
    Nyckelord :Web applications; Design by contract; Generative testing; Reliability; Clojure; Webbapplikationer; Kontrakt; Automatisk testning; Pålitlighet; Clojure;

    Sammanfattning : Client-side web applications have recently gone from progressive enhancements to powering large scale Single-page Applications (SPAs). Testing such applications is a tedious effort, often requiring manually constructing tests and emulating the browser, which leads to high programming effort and low performance. LÄS MER

  3. 2. A JavaScript Backend for the Miking Compiler

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

    Författare :William Rågstad; [2022]
    Nyckelord :Bachelor’s Thesis; Miking; JavaScript; Compiler; Semantics; Code Generation; Optimization; Correctness; Soundness; and Readability; Kandidat Examensarbete; Miking; JavaScript; Kompilatorer; Semantik; Kodgenerering; Optimering; Korrekthet; Sundhet och Läsbarhet;

    Sammanfattning : This thesis presents the design and implementation of an extension of the self-hosted Miking compiler to enable the generation of JavaScript code for different runtime environments and web browsers. Miking is a framework for developing domain-specific and general-purpose programming languages through sound language fragment composition, among other things, to create efficient compilers. LÄS MER

  4. 3. Relational Symbolic Execution in WebAssembly

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

    Författare :Johan Sjölén; [2020]
    Nyckelord :;

    Sammanfattning : WebAssembly is a new low-level language used as a compilation target which runs in web browsers. As more code is run on the client side of a web application the issue of security of that code become more important. LÄS MER

  5. 4. Att utforma en digital marknadsplats med fokus på användarbarhet och navigerbarhet

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Rabi Chabo; Ludvig Öberg; Emil Lindbom; Filip Frenning; Martin Friberg; Patrick Asman; Anton Johansson; Andreas Behrendtz; [2020]
    Nyckelord :Usability; Navigability; Användarbarhet; Navigerbarhet;

    Sammanfattning : A market survey conducted at Linköping University showed that there is a great need for an online marketplace for used course literature. A majority of the survey participants found it difficult to find a counterparty when purchasing or selling used course literature and found the process complicated and time consuming. LÄS MER

  7. 5. Larmbolagets webbplats : En studie om skapandet av en tillgänglig och användbar webbplats

    Kandidat-uppsats, Institutionen för kommunikation, medier och it

    Författare :Niklas Lundberg; Marcus Wigren; [2012]
    Nyckelord :accessibility; design principles; heuristics; semantics; WCAG 2.0; web design; web standards; designprinciper; semantik; heuristiker; tillgänglighet; WCAG 2.0; webbdesign; webbstandarder;

    Sammanfattning : This paper accounts for the work with a website for a company whose real name will not be disclosed in the text of this paper. Instead, they have been assigned the fictitious name Larmbolaget, which can be translated as ‘The Alarm Company’. LÄS MER