| Kurzus kódja | Modul | Tanegység | Előfeltétel | Előadás | Vizsga | Gyak. | Gy.j. | Konz. | Kredit | Félév | 1. félév | 2. félév | 3. félév | 4. félév | |
| IPM-08EsztSZVE | B0. | Szintézis és verifikáció | 2 | K | 1 | 3 | 3. | 2+0 | |||||||
| IPM-08sztTME | B0. | Típusmodellek | 2 | K | 2 | 2. | 2+0 | ||||||||
| IPM-08sztFSZE | B0. | Formális szemantika | 2 | K | 1 | 3 | 4. | 2+0 | |||||||
| IPM-08sztNYTRE | B0. | Nyelvek típusrendszere | 2 | K | 2 | 3. | 2+0 | ||||||||
| IPM-08EsztPVI1E | B1. | Projekt- és vállalatirányítás az informatikában I. | 2 | K | 2 | 1. | 2+0 | ||||||||
| IPM-08EsztPVI2E | B1. | Projekt- és vállalatirányítás az informatikában II. | PV1E | 2 | GY | 2 | 2. | 0+2 | |||||||
| IPM-08EsztTEE | B1. | Tervezés és elemzés elmélete | 2 | K | 1 | 3 | 1. | 2+0 | |||||||
| IPM-08EsztKASZE | B1. | Komponens alapú szoftverfejlesztés | 2 | K | 1 | 3 | 2. | 2+0 | |||||||
| IPM-08EsztSZTK1G | B1. | Szoftverfolyamat tervezése és kivitelezése 1. | 2 | GY | 1 | 3 | 1. | 0+2 | |||||||
| IPM-08EsztSZTK2G | B1. | Szoftverfolyamat tervezése és kivitelezése 2. | SZTK1G | 2 | GY | 1 | 3 | 2. | 0+2 | ||||||
| IPM-08EsztFPNYE | S2. | Funkcionális nyelvek I. | 2 | K | 1 | 3 | 1. | 2+0 | |||||||
| IPM-08EsztFPNY2E | S2. | Funkcionális nyelvek II. | 2 | K | 2 | 2. | 2+0 | ||||||||
| IPM-08EsztPNYPE | S2. | Programozási nyelvek és paradigmák összehasonlítása 1. | 2 | K | 2 | 3. | 2+0 | ||||||||
| IPM-08EsztFPNYG | S2. | Programozási nyelvek és paradigmák összehasonlítása 2. | 2 | GY | 1 | 3 | 4. | 0+2 | |||||||
| IPM-08EsztSZOPE | S2. | Szerződésalapú objetkum-orientált programozás | 2 | K | 1 | 3 | 3. | 2+0 | |||||||
| IPM-08EsztMPPE | S2. | Multiparadigma programozás | 2 | K | 1 | 3 | 4. | 2+0 | |||||||
| IPM-08EsztIME | S3. | Ismerretalapú modellezés | 2 | K | 2 | 1. | 2+0 | ||||||||
| IPM-08EsztIKRE | S3. | Ismeretalapú keretrendszerek | 2 | GY | 1 | 3 | 4. | 0+2 | |||||||
| IPM-08EsztMTE | S3. | Megerősítéses tanulás | 2 | K | 1 | 3 | 4. | 2+0 | |||||||
| IPM-08EsztMNE | S3. | Mesterséges neuronhálók | 2 | K | 1 | 3 | 3. | 2+0 | |||||||
| IPM-08EsztROBE | S3. | Robotika | 2 | GY | 1 | 3 | 4. | 0+2 | |||||||
| IPM-08EsztARE | S3. | Autonóm rendszerek | 2 | K | 2 | 3. | 2+0 | ||||||||
| IPM-08EsztORAEG | S4. | Osztott rendszerek analízise | 2 | X | 2 | 1 | 5 | 1. | 2+2 | ||||||
| IPM-08EsztORSZE | S4. | Osztott rendszerek szintézise | 2 | K | 1 | 3 | 2. | 2+0 | |||||||
| IPM-08EsztEAK1EG | S4. | Elosztott alkalmazások készítése I. | 2 | X | 2 | 1 | 5 | 3. | 2+2 | ||||||
| IPM-08EsztEAK2E | S4. | Elosztott alkalmazások készítése II. | EAK1E | 2 | K | 1 | 3 | 4. | 2+0 | ||||||
| IPM-08EsztFM1E | S5. | Formális módszerek a szoftverfejlesztésben I. | 2 | K | 1 | 3 | 3. | 2+0 | |||||||
| IPM-08EsztFM2G | S5. | Formális módszerek a szoftverfejlesztésben II: | FM1E | 2 | GY | 1 | 3 | 4. | 0+2 | ||||||
| IPM-08EsztLPEG | S5. | Logikai programozás | 2 | X | 1 | 1 | 4 | 1. | 2+1 | ||||||
| IPM-08EsztLPEEG | S5. | Logikai programok építése | 2 | X | 1 | 1 | 4 | 2. | 2+1 | ||||||
| IPM-08EsztSZMA | S5. | A szoftverfejlesztés minőségi aspektusai | 2 | K | 2 | 4. | 2+0 | ||||||||
| Szabadon választható | 10 | ||||||||||||||
| Diplomamunka | 20 | ||||||||||||||
| Összesen: | 48 | 20 | 22 | 120 | 12+5 | 10+5 | 16+2 | 10+8 | |||||||
| Megjegyzés: B0.,B1.(kötelező), S2-5 "választható" | |||||||||||||||
| S2-5 helyett választhat egy blokk helyébe kooperatív képzést is a hallgató, illetve egy másik szakirányú külső blokkot. | Utolsó módosítás: 2014.02.05 | ||||||||||||||