Hlavní stránka > Výsledky hledání: Šrajer, Michal
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Kontrola konzistence analýz založených na jazyce UML
 Šrajer, Michal ; Rubač, Tomáš (vedoucí práce) ; Skopal, Tomáš (oponent)
Jazyk UML je dnes široce rozšířeným standardem pro modelování softwarových systémů. Problémem analýz zapsaných v UML však bývá jejich nekonzitence, která zpravidla není modelovacími nástroji kontrolována. Při analýzách rozsáhlejších projektů může takových nekonzistencí vzniknout velké množství, automatické kontroly se proto zdají být nezbytnou nutností. V této práci jsou nejprve shrnuty různé přístupy ke kontrole konzitence UML modelů a základní pojmy z dané oblasti. Dále pak se práce zabývá návrhem vlastního přístupu s důrazem na možnost kontroly textových částí analýz založených na UML. Je navržen způssb zápisu případu užití, k němuž jsou definována pravidla konzistence, která jsou následně formalizována pomocí jazyka OCL. Proveditelnost navrhovaného přístupu je ověřena kontrolou chyb reálné analýzy jednoduchého softwarového systému. Powered by TCPDF (www.tcpdf.org)
Úplný záznam
Kontrola konzistence analýz založených na jazyce UML
 Šrajer, Michal ; Rubač, Tomáš (vedoucí práce) ; Skopal, Tomáš (oponent)
Jazyk UML je dnes široce rozšířeným standardem pro modelování softwarových systémů. Problémem analýz zapsaných v UML však bývá jejich nekonzitence, která zpravidla není modelovacími nástroji kontrolována. Při analýzách rozsáhlejších projektů může takových nekonzistencí vzniknout velké množství, automatické kontroly se proto zdají být nezbytnou nutností. V této práci jsou nejprve shrnuty různé přístupy ke kontrole konzitence UML modelů a základní pojmy z dané oblasti. Dále pak se práce zabývá návrhem vlastního přístupu s důrazem na možnost kontroly textových částí analýz založených na UML. Je navržen způssb zápisu případu užití, k němuž jsou definována pravidla konzistence, která jsou následně formalizována pomocí jazyka OCL. Proveditelnost navrhovaného přístupu je ověřena kontrolou chyb reálné analýzy jednoduchého softwarového systému. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Viz též: podobná jména autorů
3 Šrajer, Martin
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English