|
|
|
||
Last update: RNDr. Michal Kopecký, Ph.D. (26.04.2019)
|
|
||
Last update: 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. |
|
||
Last update: Tajemník Katedry (29.04.2015)
1. The role of formal specifications and models in software engineering, their benefits and limitations. 2. Algebraic methods, many-sorted algebras, initial models. 3. Rewriting systems, OBJ3, Maude. 4. Model oriented methods. 5. Z language and its extensions (Objective-Z). 6. VDM method and its extensions (VDM++). 7. Introduction to Alloy language. 8. Formal foundations of UML. 9. Specification language OCL. 10. Petri nets and CPN. 11. Temporal logic. Dynamic logic. 12. Domain-specific languages. |