Předmět Metody specifikace softwarových systémů (MSSS)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu MSSS - Metody specifikace softwarových systémů, Vysoká škola báňská - Technická univerzita Ostrava (VŠB-TU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Cílem předmětu je seznámit studenty doktorského studia s formálními a semiformálními přístupy ke specifikaci softwarovýchsystémů.
Osnova
1. Úvod do problematiky2. UML - Unified Modeling Language3. Diagramy pro popis statických a dynamických vlastností modelu4. Formální metody specifikace5. OCL - Object Constraint Language6. Návrhové vzory7. Vzory tvořící8. Strukturální vzory9. Vzory chování
Literatura
Tom Pender: UML Bible, Wiley Publishing, ISBN: 0-7645-2604-9 Jos Warmer, Anneke Kleppe: The Object Constraint Language, Second Edition, Addison-Wesley, ISBN: 0-321-17936-6
Požadavky
Žádné
Garant
prof. Ing. Ivo Vondrák, CSc.
Vyučující
prof. Ing. Ivo Vondrák, CSc.