Vztah typu Extend v UML a jeho zvláštnosti

Rozměr: px
Začít zobrazení ze stránky:

Download "Vztah typu Extend v UML a jeho zvláštnosti"

Transkript

1 Vztah typu Extend v UML a jeho zvláštnosti RNDr. Ilja Kraval 2007 Object Consulting s.r.o. Do diskusního fóra na Pandoře (http://pandora.idnes.cz/conference/objcon/) přišel následující dotaz: Zdravim, rad bych si objasnil nasledujici vec. Vychazim z toho ze vazba Extend mezi dvema prvky UseCase vyjadruje podminene pouziti. Pokud je prvek A "extendovan" prvkem B a sipka je ve smeru od B k A. Prvek A je zavisly na B. Pokud jsou prvky v samostatnych packages pak package prvku B nemuze znat package prvku A. Proc to vlastne resim? Pokud v EA u packages zavedu rizeni verzi pomoci (napriklad Visual SourceSafe) a upravuji prvek A ktery ma byt extendovan prvekm B pak musim provest check out u package B. Coz se mi moc nelibi protoze B by melo byt jedno kdo ji pouziva. U Include to funguje spravne. Co si o tom myslite? Je to chyba v EA? Nebo spatne chapu vyznam Extend? Diky Marek B. Zkusíme se tedy blíže podívat na specifikaci vztahu typu Extend. Uvedeme si, jak je definován přímo v UML. Avšak hned na začátku bych si dovolil drobně poopravit větu z dotazu: vazba Extend mezi dvema prvky UseCase vyjadruje podminene pouziti " která je pravdivá pouze částečně. Navíc kromě existující podmínky extenze (v bodě nazývaném jako Extension Point) je třeba ještě dodat, že prvek typu Use Case, který rozšiřuje, má povahu nějakého rozšíření, tj. něco jako přívěsek, dodatek k

2 rozšiřovanému prvku typu Use Case. Nejedná se tedy o klasické podmíněné if else ve smyslu toku v programování, ale o aditivní extenzi. Problém, o kterém se v dotazu píše, je již takříkajíc přímo v definici jazyka UML. Podívejme se přesně, jak je vztah typu Extend v UML přesně definován a rozeberme si jeho definici i s příkladem, který je ve specifikaci také uveden. Poznámka: všechny texty ze specifikace UML jsou převzaty z dokumentu označeném jako Unified Modeling Language: Superstructure, version 2.0 formal/ , který je volně ke stažení na adrese K datu vydání tohoto článku se jedná o nejaktuálnější verzi specifikace UML staženou aktuálně z uvedené pozice. Specifikace jazyka UML definuje vztah typu Extend takto (kapitola , překlad): Vztah typu Extend Jedná se o vztah ve směru od rozšiřujícího prvku typu Use Case k rozšiřovanému prvku typu Use Case, který specifikuje jak a kdy bude chování rozšiřujícího prvku typu Use Case vloženo do rozšiřovaného chování prvku typu Use Case. Všimněme si jedné velmi důležité okolnosti v textu definice. Hovoří se o vložení chování prvku rozšiřujícího (v textu dotazu označen jako prvek B typu Use Case) do rozšiřovaného (v textu dotazu prvek A typu Use Case). Znamená to, že dovnitř prvku A je vloženo chování prvku B a to nějakým specifickým způsobem (podmíněně) a tím prvek B za určitých podmínek rozšiřuje prvek A. strana 2

3 Znázorníme si situaci ještě na obrázku: A «extend» B obrázek 1 Prvek B typu Use Case "extenduje", tedy rozšiřuje prvek A, ale chování prvku B je vloženo za určitých podmínek do prvku A Na obrázku je podle definice znázorněno, že prvek A je rozšiřovaný prvek typu Use Case, dále že prvek B je rozšiřující prvek typu Use Case a navíc podle definice obrázek znázorňuje, že chování prvku B je vloženo za určitých podmínek do chování prvku A. V další části popisu se lze dočíst ve specifikaci UML následující popis: Popis Tento vztah specifikuje, že chování případu užití může být rozšířeno o chování dalšího (obvykle doplňkového) případu užití. Toto rozšíření se koná v jednom nebo více specifických bodech rozšíření definovaných v rozšiřovaném případu užití. Všimněte si nicméně, že rozšiřovaný případ užití je definován nezávisle na rozšiřujícím případu užití a je významově nezávislý na rozšiřujícím případu užití. Na druhé straně rozšiřující případ užití typicky definuje chování, které nutně nemusí být smysluplné samo o sobě. Rozšiřující případ užití definuje sadu modulárních přírůstků chování, což rozšiřuje průběh rozšiřovaného případu užití za nějakých specifických podmínek. Všimněte si, že tentýž rozšiřující případ užití může rozšiřovat více než jeden případ užití. Navíc rozšiřující případ užití může být dále rozšířen. Zde si všimněme poněkud překvapivého tvrzení, že rozšiřovaný případ užití je definován nezávisle na rozšiřujícím případu užití a je významově nezávislý na strana 3

4 rozšiřujícím případu užití K tomuto bodu se ještě vrátíme, protože zde je uschováno jádro pudla našeho dotazu. Další částí specifikace vztahu Extend je vysvětlení sémantiky tohoto vztahu, což je velmi zajímavé: Koncept "umístění rozšíření" (tj.- umístění bodu extenze) je úmyslně ponechán blíže nespecifikovaným, protože případy užití jsou typicky specifikovány v různých idiosynkratických formátech (pozn. překl.: různorodých a výstředních), jako je přirozený jazyk, tabulky, stromy, atd. Proto není snadné zachytit jeho strukturu přesně nebo obecněji nějakým formálním modelem. Intuitivní představu o umístění rozšíření si nejlépe můžeme vytvořit pomocí příkladu u textového popisu případu užití. Obvykle se případ užití s rozšiřujícími body sestává ze sady jemnějších granulovaných zlomků textových popisů chování, které jsou vykonány v sekvenci po sobě. Toto rozdělené členění textu případu užití umožňuje, aby původní popis chování byl rozšířen slučováním doplňkových fragmentů popisů chování ve vhodných místech vložení mezi originálními fragmenty (body rozšíření). Takto se rozšiřující případ užití (tj. ten, co rozšiřuje) typicky sestává z jednoho nebo více zlomků popisů chování, které jsou vloženy do vhodných bodů rozšiřovaného případu užití (tj. do toho, který je rozšiřován). Pokud je v době dosažení prvního lokace bodu extenze podmínka rozšíření "true", pak všechny odpovídající fragmenty chování z rozšiřujícího případu užití budou také vykonány. Pokud je podmínka "false", rozšíření nenastane. Jednotlivé zlomky jsou vykonány, jakmile jsou dosaženy odpovídající body extenze z rozšiřujícího případu užití. Poté, co je daný zlomek dokončen, exekuce pokračuje v chování rozšiřovaného případu užití následně po bodu rozšíření. Všimněte si, že třebaže jsou zapojeny vícenásobně případy užití, existuje pouze jediné chování běhu případu užití. Nyní již můžeme učinit první závěry z těchto definic a vysvětlení. Jestliže jsme uvedený text uvedený v předešlém odstavci pochopili správně, potom je z hlediska vzájemného použití (kdo koho používá, neboli jak se píše v dotazu kdo o kom ví ) evidentní, že případ užití A, který je extendován, používá případ užití B, který jej extenduje a to tak, že existuje nějaká podmínka, která pokud je splněna, tak v odpovídajících bodech odskoku se provedou fragmenty případu užití B (jak vyplývá z textu, nemusí se jednat pouze jeden fragment!). Z hlediska chápání závislosti v tomto pojetí, tj. kdo koho používá, je evidentně A závislé na B, protože v A musíme v textu definovat body odskoku a definovat, že v těchto bodech se jedná o konkrétní vykonání případu užití B. Jinak řečeno, ten, kdo strana 4

5 píše text v případu užití A, se v tomto textu evidentně nějak odvolává na případ užití B. Co se týče toho, jak je závislost vysvětlena ve specifikaci UML, tj. píše se, že případ užití A je nezávislý na případu užití B, tak zde se zřejmě má na mysli ta skutečnost, že případ užití A je významově nezávislý na B, tj. jeho sekvence textů v A funguje nezávisle na tom, zda bude zapnuta nebo nebude zapnuta extenze a vložené aditivní fragmenty se uskuteční nebo ne. Fragmenty jsou pouze doplňkem navíc, tj. doplňkovou extenzí případu užití A a neovlivňují tak původní funkcionalitu definovanou bez vložení. K tomuto důležitému bodu se ještě vrátíme. Uveďme si příklad, který je uveden přímo ve specifikaci UML: Condition: {customer selected HELP} extension point: Selection Perform ATM Transaction Extension points: Selection «extend» On-Line Help obrázek 2 Příklad na vztah typu Extend uvedený přímo ve specifikaci UML Ve specifikaci UML je tento diagram vysvětlen takto (doslovný překlad z originálu): V diagramu nahoře případ užití Perform ATM Transaction" má svůj extension point (bod rozšíření) "Selection". Tento případ užití je extendován přes tento extension point případem užití On-Line Help vždy tam, kde se běh případu užití "Perform ATM Transaction" vyskytne v umístění onoho bodu extenze Selection a zákazník přitom vybere klávesu Help. Všimněte si, že případ užití Perform ATM Transaction" je definován nezávisle na případu užití On-Line Help. strana 5

6 Tolik doslovný překlad. Co se týče poslední věty, je třeba ji opět chápat tak, že má význam v tom smyslu, že funkcionalita případu užití Perform ATM Transaction" je pouze rozšířena v bodě extenze a tedy původní funkcionalita není rozšířením ovlivněna a je pouze doplněna. To je však je pouze logika věci ve smyslu vložení aditivní funkcionality a nikoliv otázkou změnového řízení. Pokud totiž vložíme aditivní funkcionalitu, tak samo toto vložení musí nutně vést k překopání původního případu užití aspoň tím, že musíme do něj vložit bod extenze a v textu definovat uvedené odskoky extenze (uvedené fragmenty textů) v daných bodech toku případu užití. Změnové řízení a práce se systémem pro řízení verzí podléhá složitějším zákonitostem. Představme si, že máme dvě funkcionality ve dvou modulech (resp. ve dvou prvcích typu Package), a nechť první funkcionalita F1 v prvním modulu (v prvku Package) volá druhou funkcionalitu F2 v druhém modulu (v druhém prvku Package). Pro názornost si klidně můžeme představit, že se jedná o funkce nazvané jako F1 a F2 ve dvou modulech. Stejně tak si můžeme představit dva případy užití ve dvou prvcích typu Package. Pro check out může nastat hned několik variant podle toho, co vlastně měníme: 1. Pokud měníme funkci F1 (volající) a to bez změny funkce F2, potom nemusíme provést check out modulu u funkce F2, ta se totiž nemění. 2. Pokud měníme funkci F2 uvnitř bez změny rozhraní této funkce (tj. funkce F1 nepocítí žádné změny), potom nemusíme provést check out modulu u volající F1. 3. Pokud měníme F2 a měníme rozhraní, musíme překopat všechny funkcionality, které tuto funkcionalitu volají (používají) včetně F1 a tedy musíme provést check out modulu s funkcí F1. Podobně tomu bude i v případech užití. Zkusme si předešlý příklady na uvedeném diagramu s transakcí na bankomatu rozvést jakoby dále do další přesnější podoby i se specifikací textů a budeme si všímat, jak se oba případy užití chovají vzhledem ke změnovému řízení. Vyjděme tedy z uvedeného diagramu, kdy případ užití Perform ATM Transaction" je extendován o případ užití On-Line Help (viz předešlý obrázek). Připomenu, že pod tímto obrázkem je také vysvětlení tohoto diagramu. Nechť navíc platí, že případ užití Perform ATM Transaction" je v jednom prvku typu Package a druhý případ užití On- Line Help je v druhém prvku typu Package. Jak budou vypadat operace check out? První varianta je, že se změní funkcionalita extendovaného případu užití Perform ATM Transaction", aniž by to ovlivnilo poskytovaný help, například se jedná o opravu nějaké drobnosti bez zásahu do helpu. V tom případě by se teoreticky měl provést strana 6

7 check out pouze u prvku Package prvního extendovaného případu užití Perform ATM Transaction" a logicky vzato by se na prvek typu Package případu užití On- Line Help nemusel vůbec použít check out, protože se tento případ užití nemění. Druhý případ odpovídá situaci, kdy se něco změní uvnitř helpu, ale případ užití Perform ATM Transaction" toto nepocítí. Jako příklad bychom mohli uvést opravy chybných anebo nepřesných textů v helpu bez změny logiky helpu. V tom případě stačí provést check out prvku typu Package s případem užití On-Line Help. Třetí případ svědčí o tom, kdo je na kom závislý z hlediska použití. Představme si, že help funguje tak, že při jeho vyvolání se nějak přebere název kroku (realizace v designu například přes vstupní parametr, pomocí globální proměnné apod.), kde se právě v toku případu užití zákazník nachází (názvy kroků jsou například zasunutí karty, zadání pinu, výběr jazyka atd.). Text v rozšiřovaném případu užití Perform ATM Transaction" vypadá potom nějak takto: Use Case Scenario Perform ATM Transaction......a zákazníkovi se nabídne zadání PIN. Vsunuto via Extension Point Selection Pokud zákazník vyvolá Help, nastaví se název kroku na zadání PIN a vyvolá se Help (viz extend od UC On-Line Help) Konec vsunutí via Extension Point Selection Zákazník zadá PIN, provede se verifikace zadaného čísla PIN vůči kartě, pokud nesouhlasí...(atd.)... Takovýchto vsuvek je v textu více pro každé vyvolání helpu s různým názvem kroku v různých částech původního scénáře. Tyto vsunuté texty neovlivňují původní funkcionalitu, jsou to pouze vsuvky do původní funkcionality. Jak vidět, tak v tomto příkladu se uvnitř případu užití On-Line Help pracuje s převzatým názvem kroku a podle něj se vyvolává odpovídající část helpu, například přes klasický switch. Pokud však překopeme případ užití On-Line Help tak, že nebude pracovat s názvem kroku, ale změníme tento parametr například na číslo kroku, potom budeme díky této změně muset předělat také případ užití Perform ATM Transaction" a tato změna se pochopitelně projeví až do úrovně abstrakce programování. V tomto ohledu je případ užití Perform ATM Transaction" na případu užití On-Line Help samozřejmě závislý! Závěry Z uvedených tří příkladů na check out prvků typů Package s uvedenými případy užití ve vztahu Extend je zřejmé, že vztah Extend neznamená vskutku totální nezávislost extendovaného případu užití A na extendujícím případu užití B (tj. nezávislost ve smyslu kdo koho používá ). Jedná se pouze o nezávislost strana 7

8 významovou, tj. o aditivní vsunutí částí funkcionalit neměnící kostru běhu extendovaného případu užití (jako vsunuté odskoky ). Osobně se domnívám, že z uvedeného vyplývá, že pro řízení verzí při modelování nemusí platit automatická logika co check out a co ne check out. Je otázkou, zda je tedy vždy vhodné se opřít o již zabudované funkcionality v nástrojích, nebo zda je lepší provádět tyto a podobné operace s nástrojem pro řízení verzí ručně anebo zda není ještě lepší napsat si svou vlastní jednoduchou utilitu podle vlastních potřeb. Konec dokumentu strana 8

ROZDÍL MEZI VZTAHEM EXTEND A INCLUDE V USE CASE DIAGRAMECH

ROZDÍL MEZI VZTAHEM EXTEND A INCLUDE V USE CASE DIAGRAMECH ROZDÍL MEZI VZTAHEM EXTEND A INCLUDE V USE CASE DIAGRAMECH 3. část RNDr. Ilja Kraval, srpen 2009 http://www.objects.cz ÚVOD Tento článek je pokračováním předešlých článků. Článek vysvětluje použití vztahu

Více

Druhá část odpovědi na mail ohledně zpracování případů užití

Druhá část odpovědi na mail ohledně zpracování případů užití Druhá část odpovědi na mail ohledně zpracování případů užití Autor RNDr. Ilja Kraval leden 2008 www.objects.cz Úvod Tento článek navazuje jako pokračování na článek předešlý. Minule jsme si vysvětlili,

Více

Čtvrtá část odpovědi aneb jak je to vlastně s interakcí <>

Čtvrtá část odpovědi aneb jak je to vlastně s interakcí <<include>> Čtvrtá část odpovědi aneb jak je to vlastně s interakcí autor RNDr. Ilja Kraval leden 2008 www.objects.cz Úvod Tento článek navazuje jako pokračování na články předešlé. Minule jsme si zde

Více

UML. Unified Modeling Language. Součásti UML

UML. Unified Modeling Language. Součásti UML UML Unified Modeling Language 1995 počátek 1997 verze 1.0 leden dnes verze 2.0 (vývoj stále nedokončen) Standardní notace OMG podpora velkých firem (Microsoft, IBM, Oracle, HP ) popisuje struktury popisuje

Více

JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA)

JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA) JEDNODUCHÁ A PRAKTICKÁ METODA ODHADU PRACNOSTI PROJEKTU (S UTILITOU KE STAŽENÍ ZDARMA) 2. část autor: RNDr. Ilja Kraval, červenec 2010 http://www.objects.cz ÚVOD V minulém článku bylo pojednáno o složitosti

Více

Odpověď na dotaz ohledně asociační třídy v modelu měření

Odpověď na dotaz ohledně asociační třídy v modelu měření Odpověď na dotaz ohledně asociační třídy v modelu Část 4. Tento článek navazuje na předešlé články jako jejich pokračování autor RNDr. Ilja Kraval, http://www.objects.cz září 2007 firma Object Consulting

Více

Jazyk UML - přehled. diagram hierarchie procesů. IS firmy. podpora řízení. evidence zaměstnanců. pokladny. výroba. diagram procesních vláken

Jazyk UML - přehled. diagram hierarchie procesů. IS firmy. podpora řízení. evidence zaměstnanců. pokladny. výroba. diagram procesních vláken Jazyk UML - přehled Unified Modeling Language jazyk pro popis objektově orientované analýzy a návrhu aplikací slouží k vzájemné komunikaci mezi zadavatelem a návrhářem systému má několik částí, není nutné

Více

Communist Party of Nepal (Unified Marxist-Leninist) Unified Modeling Language University of Massachusetts Lowell User-mode Linux.

Communist Party of Nepal (Unified Marxist-Leninist) Unified Modeling Language University of Massachusetts Lowell User-mode Linux. Jan Smolík UML UML Communist Party of Nepal (Unified Marxist-Leninist) Unified Modeling Language University of Massachusetts Lowell User-mode Linux Zdroj: Wikipedia Unified modelling language Neproprietární

Více

Úvod do principů objektově orientovaného programování

Úvod do principů objektově orientovaného programování OBSAH DISTANČNÍHO E-LEARNINGOVÉHO KURZU PROFESNÍ RŮST ANALYTIKA OD ZÁKLADŮ (BASE) ÚVOD DO TECHNOLOGIÍ INFORMAČNÍCH SYSTÉMŮ Jak funguje počítač na základní úrovni Základy HTML Skripty ve webovských technologiích

Více

Algoritmizace a programování

Algoritmizace a programování Algoritmizace a programování Řídicí struktury jazyka Java Struktura programu Příkazy jazyka Blok příkazů Logické příkazy Ternární logický operátor Verze pro akademický rok 2012/2013 1 Struktura programu

Více

Proč je analytický model IS nutným předpokladem pro zabránění tvorbě molochálních systémů

Proč je analytický model IS nutným předpokladem pro zabránění tvorbě molochálních systémů Proč je analytický model IS nutným předpokladem pro zabránění tvorbě molochálních systémů Část 1 autor RNDr. Ilja Kraval, http://www.objects.cz březen 2007 firma Object Consulting s.r.o. Úvod V reakci

Více

7.2 Model použití (jednání) (Use Case)

7.2 Model použití (jednání) (Use Case) 7.2 Model použití (jednání) (Use Case) - při analýze požadavků často popis typických interakcí uživatele, nedokumentované Jacobson model použití (1992) Scénář Posloupnost kroků popisujících interakci mezi

Více

7.6 Další diagramy UML

7.6 Další diagramy UML 7.6 Další diagramy UML 7.6.1 Moduly (balíčky - package) a kolaborace (collaboration) Jak rozložit rozsáhlý systém na menší? - seskupování tříd (prvků modelu) do jednotek vyšší úrovně (package v UML). UI

Více

NAUČTE SE MALOVAT SI INSTANCE!

NAUČTE SE MALOVAT SI INSTANCE! NAUČTE SE MALOVAT SI INSTANCE! část 2. RNDr. Ilja Kraval, září 2009 http://www.objects.cz ÚVOD V předešlém článku jsme otevřeli jeden ze základních problémů, který musí analytik řešit: Jak vypadá skladba

Více

UML - opakování I N G. M A R T I N M O L H A N E C, C S C. Y 1 3 A N W

UML - opakování I N G. M A R T I N M O L H A N E C, C S C. Y 1 3 A N W UML - opakování I N G. M A R T I N M O L H A N E C, C S C. Y 1 3 A N W Co je to UML Evoluce UML Diagram komponent Diagram odbavení Diagram tříd Aktivity diagram Stavový diagram Sekvenční diagram Diagram

Více

S KONFIGURACÍ POVOLENÝCH KOMBINACÍ DĚDICŮ

S KONFIGURACÍ POVOLENÝCH KOMBINACÍ DĚDICŮ VZOR HETEROGENNÍ SEZNAM S KONFIGURACÍ POVOLENÝCH KOMBINACÍ DĚDICŮ RNDr. Ilja Kraval, září 2008 http://www.objects.cz ÚVOD Jak známo, v CLASS DIAGRAMU se dělí vztahy do dvou základních typů: Buď se jedná

Více

Rady pro tvorbu USE CASE MODELU, rada první: Jak pracovat s pojmy ve scénářích UC

Rady pro tvorbu USE CASE MODELU, rada první: Jak pracovat s pojmy ve scénářích UC Rady pro tvorbu USE CASE MODELU, rada první: Jak pracovat s pojmy ve scénářích UC Úvod Před nedávnem jsem obdržel trochu delší mail tohoto znění: Dobrý den pane Kravale, před časem jsem absolvoval vaše

Více

O JEDNÉ ČASTÉ CHYBĚ PŘI ROZKLADU PROCESŮ PODNIKU ANEB KDY MÁME UKONČIT ROZKLAD PROCESŮ PODNIKU?

O JEDNÉ ČASTÉ CHYBĚ PŘI ROZKLADU PROCESŮ PODNIKU ANEB KDY MÁME UKONČIT ROZKLAD PROCESŮ PODNIKU? O JEDNÉ ČASTÉ CHYBĚ PŘI ROZKLADU PROCESŮ PODNIKU ANEB KDY MÁME UKONČIT ROZKLAD PROCESŮ PODNIKU? RNDr. Ilja Kraval, říjen 2008 http://www.objects.cz AKTÉROVÁ ŠKOLA Jak známo, informační systémy obsahují

Více

Úvod do MS Access. Modelování v řízení. Ing. Petr Kalčev

Úvod do MS Access. Modelování v řízení. Ing. Petr Kalčev Úvod do MS Access Modelování v řízení Ing. Petr Kalčev Postup při tvorbě aplikace Vytvoření tabulek Vytvoření relací Vytvoření dotazů Vytvoření formulářů Vytvoření sestav Tabulky Slouží k definování polí,

Více

UML úvod. Zdroje: Kanisová Hana, Müller Miroslav: UML srozumitelně, Computer Press 2007

UML úvod. Zdroje: Kanisová Hana, Müller Miroslav: UML srozumitelně, Computer Press 2007 UML úvod Kapitola má seznámit se základy modelovacího jazyka UML. Klíčové pojmy: UML, CASE nástroje, procesní modelování, případy užití, role, diagram tříd, diagram objektů, sekvenční diagramy, digram

Více

Principy UML. Clear View Training 2005 v2.2 1

Principy UML. Clear View Training 2005 v2.2 1 Principy UML Clear View Training 2005 v2.2 1 1.2 Co je touml? Unified Modelling Language (UML) je univerzálníjazyk pro vizuální modelování systémů Podporuje všechny životní cykly Mohou jej implementovat

Více

Nový způsob práce s průběžnou klasifikací lze nastavit pouze tehdy, je-li průběžná klasifikace v evidenčním pololetí a školním roce prázdná.

Nový způsob práce s průběžnou klasifikací lze nastavit pouze tehdy, je-li průběžná klasifikace v evidenčním pololetí a školním roce prázdná. Průběžná klasifikace Nová verze modulu Klasifikace žáků přináší novinky především v práci s průběžnou klasifikací. Pro zadání průběžné klasifikace ve třídě doposud existovaly 3 funkce Průběžná klasifikace,

Více

7 Jazyk UML (Unified Modeling Language)

7 Jazyk UML (Unified Modeling Language) 7 Jazyk UML (Unified Modeling Language) 7.1 Základní charakteristika jazyka Motivace - vznik řady OO metod a metodologií (konec 80. let a první polovina 90.let) podobné notace vyjadřující totéž, komplikující

Více

OOT Objektově orientované technologie

OOT Objektově orientované technologie OOT Objektově orientované technologie Požadavky a případy užití Daniela Szturcová Institut geoinformatiky, HGF Osnova Systém Uživatelé Případy užití Vazby (asociace, generalizace, include a extend) Shrnutí

Více

Unifikovaný modelovací jazyk UML

Unifikovaný modelovací jazyk UML Unifikovaný modelovací jazyk UML Karel Richta katedra počíta tačů FEL ČVUT Praha richta@fel fel.cvut.czcz Motto: Komunikačním m prostředkem informační komunity se postupem času stala angličtina. Chcete-li

Více

8.2 Používání a tvorba databází

8.2 Používání a tvorba databází 8.2 Používání a tvorba databází Slide 1 8.2.1 Základní pojmy z oblasti relačních databází Slide 2 Databáze ~ Evidence lidí peněz věcí... výběry, výpisy, početní úkony Slide 3 Pojmy tabulka, pole, záznam

Více

Modelování řízené případy užití

Modelování řízené případy užití Modelování řízené případy užití kompletní proces od UC po implementaci, robustnost 2005 Radek Ošlejšek, Jiří Sochor FI MU Brno oslejsek@fi.muni.cz http://www.fi.muni.cz/~oslejsek/pa103 30. 3. 2005 PA103:

Více

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1 Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit

Více

OOT Objektově orientované technologie

OOT Objektově orientované technologie OOT Objektově orientované technologie Požadavky a případy užití Daniela Szturcová, Pavel Děrgel Institut geoinformatiky, HGF Osnova Systém Uživatelé Případy užití Vazby (asociace, generalizace, include

Více

Využití SysML pro tvorbu modelů v systémovém inženýrství

Využití SysML pro tvorbu modelů v systémovém inženýrství Využití SysML pro tvorbu modelů v systémovém inženýrství Antonín Srna, Ústav informatiky, Provozně ekonomická fakulta, Mendelova univerzita v Brně, xsrna2@mendelu.cz Abstrakt Článek se zaobírá univerzálním

Více

10 Balíčky, grafické znázornění tříd, základy zapozdření

10 Balíčky, grafické znázornění tříd, základy zapozdření 10 Balíčky, grafické znázornění tříd, základy zapozdření Studijní cíl Tento studijní blok má za cíl pokračovat v základních prvcích jazyka Java. Konkrétně bude věnována pozornost příkazům balíčkům, grafickému

Více

Uživatelská příručka. MG^Calendar

Uživatelská příručka. MG^Calendar Obsah Uživatelská příručka Běžné úkony Vložení nové události Celodenní Krátkodobá Další vlastnosti události Popis Rozšířené vlastnosti Opakování události Připomenutí Barvy událostí Nastavení Uživatelské

Více

Funkce, podmíněný příkaz if-else, příkaz cyklu for

Funkce, podmíněný příkaz if-else, příkaz cyklu for Funkce, podmíněný příkaz if-else, příkaz cyklu for Definice funkce Funkce je pojmenovaná část programu, kterou lze dále zavolat v jiné části programu. V Pythonu je definována klíčovým slovem def. Za tímto

Více

Jedna z velmi častých a závažných chyb při návrhu IS aneb jak vznikají tzv. molochální systémy

Jedna z velmi častých a závažných chyb při návrhu IS aneb jak vznikají tzv. molochální systémy Jedna z velmi častých a závažných chyb při návrhu IS aneb jak vznikají tzv. molochální systémy Část druhá autor RNDr. Ilja Kraval, http://www.objects.cz červenec 2006 (pozn.: článek navazuje na první část

Více

Výroková logika dokazatelnost

Výroková logika dokazatelnost Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových

Více

1. Dědičnost a polymorfismus

1. Dědičnost a polymorfismus 1. Dědičnost a polymorfismus Cíl látky Cílem této kapitoly je představit klíčové pojmy dědičnosti a polymorfismu. Předtím však je nutné se seznámit se základními pojmy zobecnění neboli generalizace. Komentář

Více

typová konverze typová inference

typová konverze typová inference Seminář Java Programování v Javě II Radek Kočí Fakulta informačních technologií VUT Únor 2008 Radek Kočí Seminář Java Programování v Javě (2) 1/ 36 Téma přednášky Rozhraní: použití, dědičnost Hierarchie

Více

3 druhy UML diagramů

3 druhy UML diagramů UML grafický jazyk se pro vizualizaci, specifikaci, navrhování a dokumentaci programových systémů zjednodušuje komunikaci mezi zadavatelem a řešitelem projektu UML podporuje objektově orientovaný přístup

Více

Vzorce. StatSoft. Vzorce. Kde všude se dá zadat vzorec

Vzorce. StatSoft. Vzorce. Kde všude se dá zadat vzorec StatSoft Vzorce Jistě se Vám již stalo, že data, která máte přímo k dispozici, sama o sobě nestačí potřebujete je nějak upravit, vypočítat z nich nějaké další proměnné, provést nějaké transformace, Jinak

Více

Nutnost použití vzoru OBSERVER pro zamezení nepříjemných efektů zpětných funkcionálních vazeb mezi objekty

Nutnost použití vzoru OBSERVER pro zamezení nepříjemných efektů zpětných funkcionálních vazeb mezi objekty Nutnost použití vzoru OBSERVER pro zamezení nepříjemných efektů zpětných funkcionálních vazeb mezi objekty autor RNDr. Ilja Kraval, http://www.objects.cz únor 2007 firma Object Consulting s.r.o. Úvod V

Více

36 Elektronické knihy

36 Elektronické knihy 36 Elektronické knihy Uživatelský modul Elektronické knihy slouží k přípravě a publikování informací ve formátu HTML. Tento formát je vhodný pro prezentaci informací na internetu a je široce podporován

Více

Vlastnosti dokumentu/stránky

Vlastnosti dokumentu/stránky Vlastnosti dokumentu/stránky Formát stránky papíru pro tisk V záložce Rozložení stránky na pásu karet najdeme vše potřebné pro přípravu dokumentu před tiskem. 1) Záložka Rozložení stránky 2) Změna Orientace

Více

Modelování webových služeb v UML

Modelování webových služeb v UML Modelování webových služeb v UML Jaromír Šveřepa LBMS, s.r.o. Abstrakt: Tento příspěvek se zaměřuje na praktický postup pro identifikaci potřeby webové služby, modelování způsobu jejího použití, popřípadě

Více

UML a jeho použití v procesu vývoje. Jaroslav Žáček jaroslav.zacek@osu.cz

UML a jeho použití v procesu vývoje. Jaroslav Žáček jaroslav.zacek@osu.cz UML a jeho použití v procesu vývoje Jaroslav Žáček jaroslav.zacek@osu.cz Různé pohledy na modelování Různé pohledy na modelování Unified Modeling Language UML není metodikou ani programovacím jazykem,

Více

Výčtový typ strana 67

Výčtový typ strana 67 Výčtový typ strana 67 8. Výčtový typ V této kapitole si ukážeme, jak implementovat v Javě statické seznamy konstant (hodnot). Příkladem mohou být dny v týdnu, měsíce v roce, planety obíhající kolem slunce

Více

MQL4 COURSE. By Coders guru www.forex-tsd.com. -5 Smyčky & Rozhodnutí Část 2

MQL4 COURSE. By Coders guru www.forex-tsd.com. -5 Smyčky & Rozhodnutí Část 2 MQL4 COURSE By Coders guru www.forex-tsd.com -5 Smyčky & Rozhodnutí Část 2 Vítejte v šesté lekci mého kurzu MQL 4. Doufám, že se vám předchozí lekce líbily. V předchozí lekci jsme se bavili o smyčkách.

Více

ANOTACE vytvořených/inovovaných materiálů

ANOTACE vytvořených/inovovaných materiálů ANOTACE vytvořených/inovovaných materiálů Číslo projektu Číslo a název šablony klíčové aktivity Tematická oblast Formát Druh učebního materiálu Druh interaktivity CZ.1.07/1.5.00/34.0722 III/2 Inovace a

Více

ZÁKLADY POŘIZOVÁNÍ TEXTU

ZÁKLADY POŘIZOVÁNÍ TEXTU Úvod do problematiky ZÁKLADY POŘIZOVÁNÍ TEXTU Na začátku psaní je vhodné nastavit vzhled stránky. Důležitá je především orientace stránky. Můžeme si vybrat mezi uspořádáním textu na výšku stránky (většinou

Více

OBJEDNÁVACÍ A INFORMAČNÍ SYSTÉMY

OBJEDNÁVACÍ A INFORMAČNÍ SYSTÉMY OBJEDNÁVACÍ A INFORMAČNÍ SYSTÉMY STAkis-W STAkis-S Již dnes k dispozici všem zákazníkům společnosti Stahlgruber bez výjimky! www.stahlgruber.cz STAkis-W OBJEDNÁVACÍ SYSTÉM BEZ NUTNOSTI INSTALACE Jako výchozí

Více

Posloupnosti a jejich konvergence POSLOUPNOSTI

Posloupnosti a jejich konvergence POSLOUPNOSTI Posloupnosti a jejich konvergence Pojem konvergence je velmi důležitý pro nediskrétní matematiku. Je nezbytný všude, kde je potřeba aproximovat nějaké hodnoty, řešit rovnice přibližně, používat derivace,

Více

Tvar dat a nástroj přeskupování

Tvar dat a nástroj přeskupování StatSoft Tvar dat a nástroj přeskupování Chtěli jste někdy použít data v jistém tvaru a STATISTICA Vám to nedovolila? Jistě se najde někdo, kdo se v této situaci již ocitl. Není ale potřeba propadat panice,

Více

Copyright Jiří Janda ISBN 978-80-260-3716-3

Copyright Jiří Janda ISBN 978-80-260-3716-3 1 Copyright Jiří Janda ISBN 978-80-260-3716-3 2 Mojí nejskvělejší manželce Lucii a všem mým studentům 3 PŘEDMLUVA" 4 CO JE TO KONDICIONÁL A PROČ JE V ANGLIČTINĚ POTŘEBA" 6 PRVNÍ KONDICIONÁL" 9 DRUHÝ KONDICIONÁL"

Více

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů.

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů. Modely datové Existují různé úrovně pohledu na data. Nejvyšší úroveň je úroveň, která zachycuje pouze vztahy a struktury dat samotných. Konceptuální model - E-R model. Další úrovní je logická úroveň Databázové

Více

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632

Více

ŠKODA Portal Platform

ŠKODA Portal Platform ŠKODA Portal Platform Struktura LESS stylů Jan Obrátil Účel dokumentu Účelem tohoto dokumentu je vysvětlit strukturu stylů v Portálové Platformě tak, aby bylo možné je správně použít a rozšířit je pro

Více

Pracovní celky 3.2, 3.3 a 3.4 Sémantická harmonizace - Srovnání a přiřazení datových modelů

Pracovní celky 3.2, 3.3 a 3.4 Sémantická harmonizace - Srovnání a přiřazení datových modelů Pracovní celky 3.2, 3.3 a 3.4 Sémantická harmonizace - Srovnání a datových modelů Obsah Seznam tabulek... 1 Seznam obrázků... 1 1 Úvod... 2 2 Metody sémantické harmonizace... 2 3 Dvojjazyčné katalogy objektů

Více

Problém identity instancí asociačních tříd

Problém identity instancí asociačních tříd Problém identity instancí asociačních tříd Autor RNDr. Ilja Kraval Ve školeních a také následně po jejich ukončení se stále častěji objevují dotazy, které se týkají tzv. identity instancí asociační třídy.

Více

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy Úvod do matematiky Mgr. Radek Horenský, Ph.D. Důkazy Matematika a matematické chápání jako takové je založeno na logické výstavbě. Základními stavebními prvky jsou definice, věty a důkazy. Definice zavádějí

Více

Využití OOP v praxi -- Knihovna PHP -- Interval.cz

Využití OOP v praxi -- Knihovna PHP -- Interval.cz Page 1 of 6 Knihovna PHP Využití OOP v praxi Po dlouhé teorii přichází na řadu praxe. V následujícím textu si vysvětlíme možnosti přístupu k databázi pomocí různých vzorů objektově orientovaného programování

Více

Paralelní programování

Paralelní programování Paralelní programování přednášky Jan Outrata únor duben 2011 Jan Outrata (KI UP) Paralelní programování únor duben 2011 1 / 14 Atomické akce dále nedělitelná = neproložitelná jiným procesem izolovaná =

Více

2 PŘÍKLAD IMPORTU ZATÍŽENÍ Z XML

2 PŘÍKLAD IMPORTU ZATÍŽENÍ Z XML ROZHRANÍ ESA XML Ing. Richard Vondráček SCIA CZ, s. r. o., Thákurova 3, 160 00 Praha 6 www.scia.cz 1 OTEVŘENÝ FORMÁT Jednou z mnoha užitečných vlastností programu ESA PT je podpora otevřeného rozhraní

Více

MOŢNOSTI VYUŢITÍ ROLÍ, AKTORŮ A AGENTŮ PŘI DESIGNU BYZNYS PROCESŮ

MOŢNOSTI VYUŢITÍ ROLÍ, AKTORŮ A AGENTŮ PŘI DESIGNU BYZNYS PROCESŮ MOŢNOSTI VYUŢITÍ ROLÍ, AKTORŮ A AGENTŮ PŘI DESIGNU BYZNYS PROCESŮ Ing. Jan Smolík Vysoká škola finanční a správní PROČ JINÝ ZPŮSOB MODELOVÁNÍ PROCESŮ Základní žurnalistické otázky Co, kdo, kdy, kde, jak,

Více

Analýza a Návrh. Analýza

Analýza a Návrh. Analýza Analysis & Design Návrh nebo Design? Design = návrh Není vytváření použitelného uživatelského prostředí (pouze malinká podmnožina celého návrhu) Často takto omezeně chápáno studenty nedokáží si představit,

Více

Základy programování. Úloha: Eratosthenovo síto. Autor: Josef Hrabal Číslo: HRA0031 Datum: 28.11.2009 Předmět: ZAP

Základy programování. Úloha: Eratosthenovo síto. Autor: Josef Hrabal Číslo: HRA0031 Datum: 28.11.2009 Předmět: ZAP Základy programování Úloha: Eratosthenovo síto Autor: Josef Hrabal Číslo: HRA0031 Datum: 28.11.2009 Předmět: ZAP Obsah 1 Zadání úkolu: 3 1.1 Zadání:............................... 3 1.2 Neformální zápis:.........................

Více

Příprava dat v softwaru Statistica

Příprava dat v softwaru Statistica Příprava dat v softwaru Statistica Software Statistica obsahuje pokročilé nástroje pro přípravu dat a tvorbu nových proměnných. Tyto funkcionality přinášejí značnou úsporu času při přípravě datového souboru,

Více

Postupy práce se šablonami IS MPP

Postupy práce se šablonami IS MPP Postupy práce se šablonami IS MPP Modul plánování a přezkoumávání, verze 1.20 vypracovala společnost ASD Software, s.r.o. dokument ze dne 27. 3. 2013, verze 1.01 Postupy práce se šablonami IS MPP Modul

Více

Případy užití (use case) Projektování SW systémů

Případy užití (use case) Projektování SW systémů Univerzita Pardubice Fakulta elektrotechniky a informatiky Případy užití (use case) Projektování SW systémů Matěj Trakal Poslední úprava: 24. ledna 2012, 17:06 INPSW 2011 (Šimerda) OBSAH Obsah 1 Co jsou

Více

SOFTWAROVÉ INŽENÝRSTVÍ 1

SOFTWAROVÉ INŽENÝRSTVÍ 1 Metodický list č. 1 Název tématického celku: Úvod do softwarového inženýrství Základním cílem tohoto tematického celku je vysvětlení smyslu discipliny nazývané softwarové inženýrství. Tematický celek zahrnuje

Více

GPS lokátor s online sledováním

GPS lokátor s online sledováním GPS lokátor s online sledováním Návod k obsluze Hlavní výhody produktu: Malé rozměry Snadné ovládání Online sledování v mapovém podkladu www.spionazni-technika.cz Stránka 1 1. Specifikace Tento tracker

Více

Uživatelská příručka k systému Jídelna inet

Uživatelská příručka k systému Jídelna inet Uživatelská příručka k systému Jídelna inet Internetová část Microdata s.r.o. Verze 2.5 Srpen 2010 Přihlášení do systému... 3 Prohlížení jídelníčku... 4 Objednávání jídel... 4 Přehled Objednávek... 6 Změna

Více

7.3 Diagramy tříd - základy

7.3 Diagramy tříd - základy 7.3 Diagramy tříd - základy - popisuje typy objektů a statické vztahy mezi nimi Objednávka -datumpřijetí -předplacena -číslo -cena +vyřiď() +uzavři() {if Objednávka.zákazník.charakteristika = 'nejistý'

Více

Program Půjčovna sportovních potřeb

Program Půjčovna sportovních potřeb Program Půjčovna sportovních potřeb verze 1.67, 3.7.2014 Objednávky V hlavním menu Obchod naleznete dvě nové položky. "Seznam objednávek" a "Přidat objednávku". Obrázek 1: Hlavní menu První z těchto voleb

Více

EXTRAKT z mezinárodní normy

EXTRAKT z mezinárodní normy EXTRAKT z mezinárodní normy Extrakt nenahrazuje samotnou technickou normu, je pouze informativním ICS 03.220.01; 35.240.60 materiálem o normě. Inteligentní dopravní systémy Požadavky na ITS centrální datové

Více

Návod k obsluze webové aplikace EJídelníček 1. Vstupní stránka

Návod k obsluze webové aplikace EJídelníček 1. Vstupní stránka Návod k obsluze webové aplikace EJídelníček 1. Vstupní stránka (1) vložení přihlašovacího jména (2) vložení přihlašovacího hesla (3) vstup do objednávání jídel (4) zobrazení jídelníčku bez přihlášení (5)

Více

24-2-2 PROMĚNNÉ, KONSTANTY A DATOVÉ TYPY TEORIE DATUM VYTVOŘENÍ: 23.7.2013 KLÍČOVÁ AKTIVITA: 02 PROGRAMOVÁNÍ 2. ROČNÍK (PRG2) HODINOVÁ DOTACE: 1

24-2-2 PROMĚNNÉ, KONSTANTY A DATOVÉ TYPY TEORIE DATUM VYTVOŘENÍ: 23.7.2013 KLÍČOVÁ AKTIVITA: 02 PROGRAMOVÁNÍ 2. ROČNÍK (PRG2) HODINOVÁ DOTACE: 1 24-2-2 PROMĚNNÉ, KONSTANTY A DATOVÉ TYPY TEORIE AUTOR DOKUMENTU: MGR. MARTINA SUKOVÁ DATUM VYTVOŘENÍ: 23.7.2013 KLÍČOVÁ AKTIVITA: 02 UČIVO: STUDIJNÍ OBOR: PROGRAMOVÁNÍ 2. ROČNÍK (PRG2) INFORMAČNÍ TECHNOLOGIE

Více

Excel 2007 praktická práce

Excel 2007 praktická práce Excel 2007 praktická práce 1 Excel OP LZZ Tento kurz je financován prostřednictvím výzvy č. 40 Operačního programu Lidské zdroje a zaměstnanost z prostředků Evropského sociálního fondu. 2 Excel Cíl kurzu

Více

JAK PROPOJIT R-KO a EXCEL aneb Aby se uživatel nasytil a statistik zůstal celý

JAK PROPOJIT R-KO a EXCEL aneb Aby se uživatel nasytil a statistik zůstal celý JAK PROPOJIT R-KO a EXCEL aneb Aby se uživatel nasytil a statistik zůstal celý Ondřej Vencálek listopad 2008 Motivace Jak to udělat, aby se panu doktorovi ušetřila práce, a přitom aby se nemusel učit R-ko?

Více

Klíčem je mobilní telefon

Klíčem je mobilní telefon Klíčem je mobilní telefon AirKey Uzamykací systém pro flexibilní použití Tak dynamický jako potřeby zákazníků Systém AirKey je další inovací v nabídce společnosti EVVA. Tento elektronický uzamykací systém,

Více

Infrastruktura UML. Modelování struktury v UML. Superstruktura UML. Notace objektů. Diagramy objektů

Infrastruktura UML. Modelování struktury v UML. Superstruktura UML. Notace objektů. Diagramy objektů Infrastruktura UML v UML Karel Richta listopad 2011 Richta: B101TMM - v UML 2 Superstruktura UML Směr pohledu na systém dle UML Diagramy popisující strukturu diagramy tříd, objektů, kompozitní struktury,

Více

EXTRAKT z mezinárodní normy Extrakt nenahrazuje samotnou technickou normu, je pouze informativním materiálem o normě.

EXTRAKT z mezinárodní normy Extrakt nenahrazuje samotnou technickou normu, je pouze informativním materiálem o normě. EXTRAKT z mezinárodní normy Extrakt nenahrazuje samotnou technickou normu, je pouze informativním materiálem o normě. Inteligentní dopravní systémy (ITS) Označení poloh pro geografické databáze Část 3:

Více

Tvorba kurzu v LMS Moodle

Tvorba kurzu v LMS Moodle Tvorba kurzu v LMS Moodle Před počátkem práce na tvorbě základního kurzu znovu připomínám, že pro vytvoření kurzu musí být profil uživatele nastaven administrátorem systému minimálně na hodnotu tvůrce

Více

Čtvrtek 8. prosince. Pascal - opakování základů. Struktura programu:

Čtvrtek 8. prosince. Pascal - opakování základů. Struktura programu: Čtvrtek 8 prosince Pascal - opakování základů Struktura programu: 1 hlavička obsahuje název programu, použité programové jednotky (knihovny), definice konstant, deklarace proměnných, všechny použité procedury

Více

MATURITNÍ OTÁZKY ELEKTROTECHNIKA - POČÍTAČOVÉ SYSTÉMY 2003/2004 PROGRAMOVÉ VYBAVENÍ POČÍTAČŮ

MATURITNÍ OTÁZKY ELEKTROTECHNIKA - POČÍTAČOVÉ SYSTÉMY 2003/2004 PROGRAMOVÉ VYBAVENÍ POČÍTAČŮ MATURITNÍ OTÁZKY ELEKTROTECHNIKA - POČÍTAČOVÉ SYSTÉMY 2003/2004 PROGRAMOVÉ VYBAVENÍ POČÍTAČŮ 1) PROGRAM, ZDROJOVÝ KÓD, PŘEKLAD PROGRAMU 3 2) HISTORIE TVORBY PROGRAMŮ 3 3) SYNTAXE A SÉMANTIKA 3 4) SPECIFIKACE

Více

for (i = 0, j = 5; i < 10; i++) { // tělo cyklu }

for (i = 0, j = 5; i < 10; i++) { // tělo cyklu } 5. Operátor čárka, - slouží k jistému určení pořadí vykonání dvou příkazů - oddělím-li čárkou dva příkazy, je jisté, že ten první bude vykonán dříve než příkaz druhý. Např.: i = 5; j = 8; - po překladu

Více

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných

Více

Logické operace. Datový typ bool. Relační operátory. Logické operátory. IAJCE Přednáška č. 3. může nabýt hodnot: o true o false

Logické operace. Datový typ bool. Relační operátory. Logické operátory. IAJCE Přednáška č. 3. může nabýt hodnot: o true o false Logické operace Datový typ bool může nabýt hodnot: o true o false Relační operátory pravda, 1, nepravda, 0, hodnoty všech primitivních datových typů (int, double ) jsou uspořádané lze je porovnávat binární

Více

Dominik Vymětal. Informační technologie pro praxi 2009, Ostrava 1.-2.10.2009 1

Dominik Vymětal. Informační technologie pro praxi 2009, Ostrava 1.-2.10.2009 1 Dominik Vymětal 2009, Ostrava 1.-2.10.2009 1 Procesní model Výhody Orientace na konkrétní činnosti a možnost reengineeringu Nevýhody Malá orientace na průřezové nebo opakované činnosti Modely na základě

Více

Algoritmus. Přesné znění definice algoritmu zní: Algoritmus je procedura proveditelná Turingovým strojem.

Algoritmus. Přesné znění definice algoritmu zní: Algoritmus je procedura proveditelná Turingovým strojem. Algoritmus Algoritmus je schematický postup pro řešení určitého druhu problémů, který je prováděn pomocí konečného množství přesně definovaných kroků. nebo Algoritmus lze definovat jako jednoznačně určenou

Více

Geis Point Plugin Map

Geis Point Plugin Map Str. 1/5 Geis Point Plugin Map Rozhraní pro vložení výdejního místa do objednávky na e-shopu Str. 2/5 Obsah 1. Co je Geis Point Plugin Map?... 3 2. Jak to funguje?... 3 3. Obecný postup nasazení... 3 4.

Více

Základy analýzy. autor. Jan Novotný http://blog.novoj.net/ 15. února 2007

Základy analýzy. autor. Jan Novotný http://blog.novoj.net/ 15. února 2007 Základy analýzy autor Jan Novotný http://blog.novoj.net/ 15. února 2007 V prezentaci jsou použity diagramy z: Wikipedia, Sparx UML Tutorial, Argo UML Metodiky vývoje Různé metodiky vývoje vazba na fáze

Více

Program a životní cyklus programu

Program a životní cyklus programu Program a životní cyklus programu Program algoritmus zapsaný formálně, srozumitelně pro počítač program se skládá z elementárních kroků Elementární kroky mohou být: instrukce operačního kódu počítače příkazy

Více

Funkce. Definiční obor a obor hodnot

Funkce. Definiční obor a obor hodnot Funkce Definiční obor a obor hodnot Opakování definice funkce Funkce je předpis, který každému číslu z definičního oboru, který je podmnožinou množiny všech reálných čísel R, přiřazuje právě jedno reálné

Více

Principy OOP při tvorbě aplikací v JEE. Michal Čejchan

Principy OOP při tvorbě aplikací v JEE. Michal Čejchan Principy OOP při tvorbě aplikací v JEE Michal Čejchan Témata přednášky Principy OOP - připomenutí Úvod - co nás vede k používání OOP Reálný svět - jak (ne)používáme OOP Nedostatky na úrovni programovacích

Více

Řada programovacích jazyků nabízí prostředky pro řešení meziprocesové komunikace jako je synchronizace a řízení přístupu do kritické sekce.

Řada programovacích jazyků nabízí prostředky pro řešení meziprocesové komunikace jako je synchronizace a řízení přístupu do kritické sekce. Operační systémy Tomáš Hudec 7 Prostředky programovacích jazyků pro IPC Obsah: 7.1 Monitor, 7.1.1 Použití monitoru pro řízení přístupu do kritické sekce, 7.1.2 Použití monitoru pro synchronizaci, 7.1.3

Více

PŘÍLOHA C Požadavky na Dokumentaci

PŘÍLOHA C Požadavky na Dokumentaci PŘÍLOHA C Požadavky na Dokumentaci Příloha C Požadavky na Dokumentaci Stránka 1 z 5 1. Obecné požadavky Dodavatel dokumentaci zpracuje a bude dokumentaci v celém rozsahu průběžně aktualizovat při každé

Více

StatSoft Jak vyzrát na datum

StatSoft Jak vyzrát na datum StatSoft Jak vyzrát na datum Tento článek se věnuje podrobně možnostem práce s proměnnými, které jsou ve formě datumu. A že jich není málo. Pokud potřebujete pracovat s datumem, pak se Vám bude tento článek

Více

Obsah Úvod 4. TF Wmake 1.5

Obsah Úvod 4. TF Wmake 1.5 Obsah Úvod 4 Struktura systému 5 Uživatelské role 6 Přihlášení do systému 7 Úvodní stránka 8 enu redaktora 9 enu autora 9 azyky 0 Odhlášení ze systému 0 Nastavení Bloky Editace bloku Přidání nového bloku

Více

1 Linearní prostory nad komplexními čísly

1 Linearní prostory nad komplexními čísly 1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)

Více

Č í sla slovy 1.3. verze dokumentu: 1.02.141029 vytvořil: Ing. Pavel Randák předmět: Uživatelský manuál vydavatel: Austro-Bohemia, s.r.o.

Č í sla slovy 1.3. verze dokumentu: 1.02.141029 vytvořil: Ing. Pavel Randák předmět: Uživatelský manuál vydavatel: Austro-Bohemia, s.r.o. Austro-Bohemia, s.r.o. Na Hrázi 178/25, 180 00 Praha 8 Č í sla slovy 1.3 verze dokumentu: 1.02.141029 vytvořil: Ing. Pavel Randák předmět: Uživatelský manuál vydavatel: Austro-Bohemia, s.r.o. V tomto uživatelském

Více