Předmět Formální základy softwarového inženýrství (NTIN043)
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 NTIN043 - Formální základy softwarového inženýrství, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Sylabus
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.
Literatura
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_SystemDavid Bednárek: Materiály k předmětu TIN043. 2006.
Garant
doc. Mgr. Martin Nečaský, Ph.D.RNDr. Pavel Parízek, Ph.D.