Analýza popisů sémantického kontraktu v Java technologiích

Show simple item record
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.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.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.description.resultObhájenocs
dc.format84 s.cs
dc.format.mimetypeapplication/pdf
dc.identifier74792
dc.identifier.urihttp://hdl.handle.net/11025/31800
dc.language.isocscs
dc.publisherZápadočeská univerzita v Plznics
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.rights.accessopenAccessen
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.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
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta aplikovaných vědcs
dc.thesis.degree-levelNavazujícícs
dc.thesis.degree-nameIng.cs
dc.thesis.degree-programInženýrská informatikacs
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
local.relation.IShttps://portal.zcu.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=74792

Files

Original bundle
Showing 1 - 4 out of 4 results
No Thumbnail Available
Name:
vmares_dp.pdf
Size:
1.05 MB
Format:
Adobe Portable Document Format
Description:
Plný text práce
Download
No Thumbnail Available
Name:
A16N0052Phodnoceni-ved.PDF
Size:
412.24 KB
Format:
Adobe Portable Document Format
Description:
Posudek vedoucího práce
Download
No Thumbnail Available
Name:
A16N0052Pposudek-op.PDF
Size:
565.96 KB
Format:
Adobe Portable Document Format
Description:
Posudek oponenta práce
Download
No Thumbnail Available
Name:
A16N0052Pobhajoba.PDF
Size:
208.85 KB
Format:
Adobe Portable Document Format
Description:
Průběh obhajoby práce
Download

Collections

Theses (KIV)