Full metadata record
DC poleHodnotaJazyk
dc.contributor.advisorBrada Přemysl, Doc. Ing. MSc., Ph.D.
dc.contributor.authorMareš, Václav
dc.contributor.refereeHerout Pavel, Doc. Ing. Ph.D.
dc.date.accepted2018-9-11
dc.date.accessioned2019-03-15T10:14:26Z-
dc.date.available2017-9-1
dc.date.available2019-03-15T10:14:26Z-
dc.date.issued2018
dc.date.submitted2018-6-28
dc.identifier74792
dc.identifier.urihttp://hdl.handle.net/11025/31800
dc.description.abstractTato diplomová práce se zabývá analýzou popisu sémantického kontraktu v Java technologiích. Hlavní náplní práce je tvorba nástroje, který umožní extrakci vybraných konstrukcí design by contract, které se řadí do kategorie sémantických kontraktů. Aby bylo možné daný nástroj vytvořit, je nejprve nutné navrhnout model, který umožní zachytit reprezentaci různých kontraktů. První část práce je věnována teoretickému úvodu do problematiky kontraktů, zejména pak design by contract a následně rozboru jazyka Java z hlediska gramatiky a tokenizace. Druhá část pak obsahuje informace o implementaci daného nástroje, společně s návrhem modelu a dosaženými výsledky.cs
dc.format84 s.cs
dc.format.mimetypeapplication/pdf
dc.language.isocscs
dc.publisherZápadočeská univerzita v Plznics
dc.relation.isreferencedbyhttps://portal.zcu.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=74792-
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.subjectdesign by contractcs
dc.subjectsémantické kontraktycs
dc.subjectguava preconditionscs
dc.subjectjsr305cs
dc.subjectjavacs
dc.subjectanalýza kóducs
dc.subjectdekompilacecs
dc.subjectzajištění kvality softwarecs
dc.titleAnalýza popisů sémantického kontraktu v Java technologiíchcs
dc.title.alternativeAnalysis of semantic contracts in Java technologiesen
dc.typediplomová prácecs
dc.thesis.degree-nameIng.cs
dc.thesis.degree-levelNavazujícícs
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta aplikovaných vědcs
dc.thesis.degree-programInženýrská informatikacs
dc.description.resultObhájenocs
dc.rights.accessopenAccessen
dc.description.abstract-translatedThis master thesis deals with analysis of descriptions of semantic contracts in Java technologies. Main purpose of this thesis is creation of a tool which enables extraction of chosen constructs of design by contract which is part of semantic contracts. To be able to create the tool it is firstly necessary to design model which enables to store representations of various contracts. First part of this thesis is dedicated to theoretical introduction to contracts especially design by contract and then to analysis of programming language Java from the point of grammar and tokenization. Second part contains information about the implementation of the tool including the design of the model and results of this work.en
dc.subject.translateddesign by contracten
dc.subject.translatedsemantic contractsen
dc.subject.translatedguava preconditionsen
dc.subject.translatedjsr305en
dc.subject.translatedjavaen
dc.subject.translatedcode analysisen
dc.subject.translateddecompilationen
dc.subject.translatedsoftware quality assuranceen
Vyskytuje se v kolekcích:Diplomové práce / Theses (KIV)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
vmares_dp.pdfPlný text práce1,07 MBAdobe PDFZobrazit/otevřít
A16N0052Phodnoceni-ved.PDFPosudek vedoucího práce412,24 kBAdobe PDFZobrazit/otevřít
A16N0052Pposudek-op.PDFPosudek oponenta práce565,96 kBAdobe PDFZobrazit/otevřít
A16N0052Pobhajoba.PDFPrůběh obhajoby práce208,85 kBAdobe PDFZobrazit/otevřít
Zobrazit minimální záznam Zobrazit statistiky


Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam: http://hdl.handle.net/11025/31800

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Vysokoškolské kvalifikační práce / Theses
  3. Fakulta aplikovaných věd / Faculty of Applied Sciences
  4. Katedra informatiky a výpočetní techniky / Department of Computer Science and Engineering
  5. Diplomové práce / Theses (KIV)