(New page: {{Course | name = Development of Critical Applications | code = 2-AIN-283 | prerequisites = none | semester = Winter | year = 2 | credits = 6 | form = C - course (4) | eval...) |
|||
| Riadok 1: | Riadok 1: | ||
| − | {{ | + | {{Predmet |
| name = Development of Critical Applications | | name = Development of Critical Applications | ||
| code = 2-AIN-283 | | code = 2-AIN-283 | ||
| − | | prerequisites = | + | | prerequisites = žiadne |
| − | | semester = | + | | semester = Zimný |
| year = 2 | | year = 2 | ||
| credits = 6 | | credits = 6 | ||
| − | | form = | + | | form = K - kurz (4) |
| 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 = The course is a continuation of the course Formal Methods of Software Development where students learn some basic models exploited in formal specifications of systems (Process Algebras, Petri nets, Timed Automata ..). In this lecture we will focus on applications of the previously presented models and technique in design of critical applications. | | description = The course is a continuation of the course Formal Methods of Software Development where students learn some basic models exploited in formal specifications of systems (Process Algebras, Petri nets, Timed Automata ..). In this lecture we will focus on applications of the previously presented models and technique in design of critical applications. | ||
| − | | 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 19:05, 20. august 2008
Development of Critical Applications 2-AIN-283
choď na zoznam všetkých predmetov...
| Názov a kód predmetu: | Development of Critical Applications (2-AIN-283) |
| Prerekvizity: | žiadne |
| Vyučuje sa/odporúčaný ročník: | Zimný semester / 2 |
| Forma a # hodín/týždeň: | K - kurz (4) |
| Kredity: | 6 |
| Hodnotenie (semester/skúška): | 40/60 |
| Webstránka predmetu: | chýba |
| Informačný list: | Informačný list 2-AIN-283 (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:
The course is a continuation of the course Formal Methods of Software Development where students learn some basic models exploited in formal specifications of systems (Process Algebras, Petri nets, Timed Automata ..). In this lecture we will focus on applications of the previously presented models and technique in design of critical applications.
Je časťou študijného programu: Voliteľný v Magisterskom programe Aplikovaná informatika
Odporúčania: žiadne