|
|
|
||
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (26.04.2019)
|
|
||
Poslední úprava: Tajemník Katedry (29.04.2015)
I. Sommerville: Software Engineering. 8th ed., Pearson Education. ISBN 0-321-31379-8, 2007. D. Bjorner et al.: Logics of Specification Languages. Springer, 2008. J. Goguen et al.: Introducing OBJ3. SRI-CSL-88-9, SRI International, USA, 1988. J.M. Spivey: The Z Notation: A Reference Manual. 2nd ed., Prentice Hall, 1992. http://spivey.oriel.ox.ac.uk/~mike/zrm/ C.B. Jones: Systematic Software Development using VDM. Prentice Hall, 1990. K. Jensen: Coloured Petri Nets. Springer Verlag. The Maude System: http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System David Bednárek: Materiály k předmětu TIN043. 2006. |
|
||
Poslední úprava: Tajemník Katedry (29.04.2015)
1. Úloha formálních specifikací a modelů v softwarovém inženýrství, jejich výhody a nevýhody. 2. Algebraické metody, vícedruhové algebry, iniciální modely. 3. Přepisovací systémy, OBJ3, Maude. 4. Modelově orientované metody. 5. Jazyk Z a vybrané nadstavby (Objective-Z). 6. Metoda VDM a její nadstavby (VDM++). 7. Úvod do jazyka Alloy. 8. Formální základy UML. 9. Specifikační jazyk OCL. 10. Petriho sítě a CPN. 11. Temporální logika. Dynamická logika. 12. Doménově specifické jazyky. |