Hlavné menu
  1. KAI
  2. Výučba
  3. Magisterský program Aplikovaná informatika
  1. KAI
  2. Výučba
  3. Predmety
  4. Predmety 2-AIN

Development of Critical Applications/sk: Rozdiel medzi revíziami

(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...)
 
 
(3 medziľahlé úpravy od jedného ďalšieho používateľa nie sú zobrazené)
Riadok 1: Riadok 1:
−
{{Course
+
{{Predmet
−
   | name = Development of Critical Applications
+
   | name = Tvorba kritických aplikácií
 
   | code = 2-AIN-283
 
   | code = 2-AIN-283
−
   | prerequisites = none
+
   | prerequisites = žiadne
−
   | semester = Winter
+
   | semester = Zimný
 
   | year = 2
 
   | year = 2
 
   | credits = 6
 
   | credits = 6
−
   | form = C - course (4)
+
   | form = K - kurz (4)
 
   | evaluation = 40/60  
 
   | evaluation = 40/60  
−
   | webpage = not available
+
   | 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 = Oboznámiť študentov s problematikou tvorby kritických aplikácií.
−
   | offered_in = Elective in [[Master program in Applied Informatics]]
+
   | offered_in = Voliteľný v [[Master program in Applied Informatics|Magisterskom programe Aplikovaná informatika]]
−
   | recommendations = none
+
   | recommendations = žiadne
 
}}
 
}}

Aktuálna revízia z 21:46, 20. august 2008

Tvorba kritických aplikácií 2-AIN-283

choď na zoznam všetkých predmetov...

Názov a kód predmetu: Tvorba kritických aplikácií (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:

Oboznámiť študentov s problematikou tvorby kritických aplikácií.

Je časťou študijného programu: Voliteľný v Magisterskom programe Aplikovaná informatika

Odporúčania: žiadne

Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Development_of_Critical_Applications/sk&oldid=2057“