Formální zápis softwarového procesu – Anna Spisarová
Anna Spisarová
Bakalářská práce
Formální zápis softwarového procesu
A Formal Description of Software Process
Anotace:
V této bakalářské práci se budeme zabývat formálním popisem softwarových procesů pomocí ontologií. Ontologie jako nástroj určený k reprezentaci znalostí, jsme si vybrali z důvodů, že prostřednictvím jejich popisu definujeme vlastnosti, které v neformálních či semi-formálních specifikacích nezachytíme. Ontologie mají přesně definovanou syntaxi a sémantiku, tudíž se více zaměříme na významy jednotlivých …víceAbstract:
This thesis will be focused on a formal description of software process. In fact we can describe attributes we are not able to capture in non-formal or semi-formal specification. For that purpose we chose Ontology as a knowledge representation tool. Ontology has exactly defined syntax and semantics, so we can focus on meaning of particular term. After studying theoretical part, in other words OWL language …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 6. 5. 2011
Identifikátor:
http://hdl.handle.net/10084/87425
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 5. 2011
- Vedoucí: Svatopluk Štolfa
- Oponent: Jan Kožusznik
Citační záznam
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyBakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Použití RUP pro malé SW projekty
Pavel Julinek -
Projektový management a metodika RUP
Marek Pučelík -
Testování softwaru a metodika RUP
Martin Kučera -
Metodika RUP a testování
Libuše Randová -
Information System Design in UML
Biniyam Hundesa Erana -
Supporting Instructors in Tabletop Exercises Using Language Modeling
Martin Hofbauer -
Analysis of a Particular Modeling Practice in Software Engineering
Martin Šabo -
Pain points in the software release process
Laura Barcziová