| Riadok 1: | Riadok 1: | ||
| − | {{ | + | {{Predmet |
| name = Formal Methods of Software Development | | name = Formal Methods of Software Development | ||
| code = 2-AIN-185 | | code = 2-AIN-185 | ||
| − | | prerequisites = | + | | prerequisites = žiadne |
| − | | semester = | + | | semester = Letný |
| year = 1 | | year = 1 | ||
| credits = 6 | | credits = 6 | ||
| − | | form = | + | | form = P - prednáška (3), C - cvičenie (1) |
| evaluation = 40/60 | | evaluation = 40/60 | ||
| − | | webpage = | + | | webpage = chýba |
| teacher = [[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]] | | teacher = [[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]] | ||
| email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | ||
| homepage = http://ii.fmph.uniba.sk/~gruska/ | | 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. | | 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 = | + | | offered_in = Voliteľný v [[Bachelor program in Applied Informatics|Magisterskom programe Aplikovaná informatika]] |
| − | | recommendations = | + | | recommendations = žiadne |
}} | }} | ||
Verzia zo dňa a času 18:57, 20. august 2008
Formal Methods of Software Development 2-AIN-185
choď na zoznam všetkých predmetov...
| Názov a kód predmetu: | Formal Methods of Software Development (2-AIN-185) |
| Prerekvizity: | žiadne |
| Vyučuje sa/odporúčaný ročník: | Letný semester / 1 |
| Forma a # hodín/týždeň: | P - prednáška (3), C - cvičenie (1) |
| Kredity: | 6 |
| Hodnotenie (semester/skúška): | 40/60 |
| Webstránka predmetu: | chýba |
| Informačný list: | Informačný list 2-AIN-185 (fakultná služba) |
| Vyučujúci: | doc. RNDr. Damas Gruska, PhD. |
| E-mail: | gruska ii.fmph.uniba.sk
|
| Domovská stránka: | http://ii.fmph.uniba.sk/~gruska/ |
Popis predmetu:
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.
Je časťou študijného programu: Voliteľný v Magisterskom programe Aplikovaná informatika
Odporúčania: žiadne