|
|
| (One intermediate revision by one other user not shown) |
| Riadok 1: |
Riadok 1: |
| − | {{Predmet
| + | generic page |
| − | | name = Formálne metódy tvorby softvéru
| + | |
| − | | code = 2-AIN-185
| + | |
| − | | prerequisites = žiadne
| + | |
| − | | semester = Letný
| + | |
| − | | year = 1
| + | |
| − | | credits = 6
| + | |
| − | | form = P - prednáška (3), C - cvičenie (1)
| + | |
| − | | evaluation = 40/60
| + | |
| − | | webpage = chýba
| + | |
| − | | teacher = [[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]
| + | |
| − | | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
| + | |
| − | | homepage = http://ii.fmph.uniba.sk/~gruska/
| + | |
| − | | 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 = Voliteľný v [[Master program in Applied Informatics|Magisterskom programe Aplikovaná informatika]]
| + | |
| − | | recommendations = žiadne
| + | |
| − | }}
| + | |
