Informatikai rendszertervezés
A tárgy célkitűzése, hogy bemutassa a modell alapú rendszertervezés alapvető folyamatait és eszközeit. Ismerteti a specifikáció- és követelménymodellezés alapjait, a funkcionális és extrafunkcionális nézőpontokat integráló modellalkotást, a platform/infrastruktúra modellezést, a modellalapú telepítést, a verifikáció és validáció folyamatát és technikáit (pl. statikus analízis, tesztelés), valamint az automatikus modelltranszformációk és kódgenerátorok szerepét (teszt-, kód/kódkeret-, konfiguráció-, telepítési leíró, dokumentáció-, monitor-generálás). A tárgy alkalmazási példáit az üzleti rendszerek, illetve az intelligens komponensek integrációján alapuló beágyazott rendszerek területéről veszi. A tantárgy követelményeit eredményesen teljesítő hallgatók: 1.képesek az informatikai rendszerekkel szembeni követelmények szabatos megfogalmazására, működési környezetük, struktúrájuk és viselkedésük, architektúrájuk valamint a futtatóplatformjaik modellezésére, 2.megismerik a rendszertervezés során használt legfontosabb szabványos rendszermodellező nyelvek eszközkészletét és használatát, 3.megismerik a rendszertervezés során használt verifikációs és validációs technikákat (tesztelés, statikus analízis stb.), 4.képesek lesznek komplex informatikai alkalmazások automatikus kódgenerálással történő modell alapú fejlesztésére.
Követelmények
Az aláírás feltétele a házi feladat legalább elégséges elkészítése. Kredit: Írásbeli vizsgán minimum elégséges osztályzat megszerzése. A vizsgajegy az írásbeli vizsga, a házi feladat és az esetlegesen elvégzett opcionális feladatok súlyozásából áll elő.
