Show simple item record

Programming with Design by Contract Approach on .NET Platform

dc.contributor.advisorBartík, Vladimírcs
dc.contributor.authorBohačiak, Ondrejcs
dc.date.accessioned2018-10-21T17:07:27Z
dc.date.available2018-10-21T17:07:27Z
dc.date.created2009cs
dc.identifier.citationBOHAČIAK, O. Programování s přístupem Design by Contract na platformě .NET [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2009.cs
dc.identifier.other26042cs
dc.identifier.urihttp://hdl.handle.net/11012/53836
dc.description.abstractCílem této práce je představit programovací přístup Design by Contract (DbC), jeho principy a způsoby implementace v různých prostředích. V úvodě projektu je diskutovaná motivace k vzniku tohoto přístupu a vysvětlená metafora, o kterou se DbC opírá i její aplikace do programování. Následně jsou popsány hlavní prvky smlouvy v kontextu rozhraní rutiny. Hlavní náplní práce je analýza a porovnaní jednotlivých programovacích prostředí pro vývoj pomocí DbC pomocí programových ukáţek. V závěru práce je zhodnocen přínos této techniky a její začlenění do moderního procesu vývoje.cs
dc.description.abstractThis paper aims to introduce programming using Design by Contract (DbC) approach, its principles and implementations in different environments. The motivation for the creation of this approach is discussed in the beginning and the DbC metaphor is explained, as well as its application to programming. The description of major elements of the contract in the context of routine interface follows afterwards. The subject matter of this paper is the analysis and comparison of individual programming systems for DbC development with the help of code samples. The benefits of using this approach and its role in the modern development process are evaluated in conclusion.en
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectNávrh na základě smlouvycs
dc.subjectvstupní a výstupní podmínkycs
dc.subjectinvariantycs
dc.subjectvýjimkycs
dc.subjectasercecs
dc.subjectspecifikace rozhranícs
dc.subjectstatická verifikacecs
dc.subjectDesign by contracten
dc.subjectpreconditionsen
dc.subjectpostconditionsen
dc.subjectinvariantsen
dc.subjectexceptionsen
dc.subjectassertionsen
dc.subjectinterface specificationen
dc.subjectstatic verificationen
dc.titleProgramování s přístupem Design by Contract na platformě .NETcs
dc.title.alternativeProgramming with Design by Contract Approach on .NET Platformen
dc.typeTextcs
dcterms.dateAccepted2009-06-23cs
dcterms.modified2014-07-17-13:53:53cs
thesis.disciplineInformační systémycs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
sync.item.dbid26042en
sync.item.dbtypeZPen
sync.item.insts2019.04.03 16:26:38en
sync.item.modts2019.04.03 13:47:50en
dc.contributor.refereeRychlý, Marekcs
dc.description.markCcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record