Formal Methods of Software Development: Rozdiel medzi revíziami
(New page: {{Course | name = Formal Methods of Software Development | code = 2-AIN-185 | prerequisites = none | semester = Summer | year = 1 | credits = 6 | form = L - laboratory exerci...) |
|||
| Riadok 6: | Riadok 6: | ||
| year = 1 | | year = 1 | ||
| credits = 6 | | credits = 6 | ||
| − | | form = L - | + | | form = L - lecture (3), P - practicals (1) |
| evaluation = 40/60 | | evaluation = 40/60 | ||
| webpage = not available | | webpage = not available | ||
Verzia zo dňa a času 16:35, 19. august 2008
Formal Methods of Software Development 2-AIN-185
| Course name and code: | Formal Methods of Software Development (2-AIN-185) |
| Prerequisite courses: | none |
| Available in/recommended study year: | Summer semester / 1 |
| Form and # of hours/week: | L - lecture (3), P - practicals (1) |
| Credits: | 6 |
| Evaluation (semester/exam): | 40/60 |
| Course webpage: | not available |
| Information sheet: | 2-AIN-185 information sheet |
| Teacher(s): | doc. RNDr. Damas Gruska, PhD. |
| E-mail: | gruska ii.fmph.uniba.sk
|
| Homepage(s): | http://ii.fmph.uniba.sk/~gruska/ |
Short description:
Students will learn some basic models exploited in formal specifications of systems (Process Algebras, Petri nets, Timed Automata ..), their syntax and semantics which are suitable for different applications in formal specifications. Also some modal and temporal logics which are exploited in systems specifications will be tought together with some basics on model checking.
Offered in these study programs: Elective in Master program in Applied Informatics
Recommendations: none