Programování s přístupem Design by Contract na platformě .NET
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Bartík, Vladimír | cs |
| dc.contributor.author | Bohačiak, Ondrej | cs |
| dc.contributor.referee | Rychlý, Marek | cs |
| dc.date.created | cs | |
| dc.description.abstract | Cí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.abstract | This 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.description.mark | C | cs |
| dc.identifier.citation | BOHAČ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í. . | cs |
| dc.identifier.other | 26042 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53836 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Návrh na základě smlouvy | cs |
| dc.subject | vstupní a výstupní podmínky | cs |
| dc.subject | invarianty | cs |
| dc.subject | výjimky | cs |
| dc.subject | aserce | cs |
| dc.subject | specifikace rozhraní | cs |
| dc.subject | statická verifikace | cs |
| dc.subject | Design by contract | en |
| dc.subject | preconditions | en |
| dc.subject | postconditions | en |
| dc.subject | invariants | en |
| dc.subject | exceptions | en |
| dc.subject | assertions | en |
| dc.subject | interface specification | en |
| dc.subject | static verification | en |
| dc.title | Programování s přístupem Design by Contract na platformě .NET | cs |
| dc.title.alternative | Programming with Design by Contract Approach on .NET Platform | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.modified | 2020-05-09-23:41:45 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 26042 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:08:16 | en |
| sync.item.modts | 2025.01.15 23:27:10 | en |
| thesis.discipline | Informační systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |