A projektben több mint 80 partner vesz részt, köztük az AITIA, evopro Innovation és az IncQuery Labs. Current version:
Bővebben Tehetséggondozás Kiemelt figyelmet fordítunk a tehetséggondozásra, hallgatóink előkelő helyezéseket szereznek a kari és országos TDK-n Hallgatóink számos innovatív projekten dolgoznak, amelyek nemritkán önálló tudományos eredményekhez és ipari együttműködésekhez vezetnek. Bővebben Díjak, pályázatok Hallgatóink minden évben kiválóan szerepelnek a tanulmányi és kutatói pályázatokon, ösztöndíjakon Külföldi tanulmányutak, Rektori Különdíj, Új Nemzeti Kiválóság Program, Nemzeti Felsőoktatási Ösztöndíj, Kari és Egyetemi BME Ösztöndíjak... Bővebben A kutatócsoportról Fő területünk a kritikus informatikai rendszerek, folyamatok és platformok tervezése, ellenőrzése és üzemeltetésének támogatása. A magas színvonalat nemcsak a tervezett rendszerekkel szemben várjuk el, hanem a kutatás és oktatás területén is magunkénak valljuk. A BME VIK Méréstechnika és Információs Rendszerek Tanszékén működő Hibatűrő Rendszerek Kutatócsoportot (ftsrg) 1994-ben alapította Prof. Oktatas epito bme hu live. Pataricza András a hibatűrő számítástechnika kutatására és oktatására.
Önállóan képes kapcsolatot tartani a kollégákkal. Utolsó módosítás: 2018-04-23 11:01:22 A további tárgyak adatlapjának kiválasztásához kattintson ide.
Bővebben Események és díjak Fiatal Kutatók Akadémiája Micskei Zoltán FKA tag lett A Fiatal Kutatók Akadémiája 2022-ben tagjai közé választotta Micskei Zoltánt. Az Akadémia minden évben 12 új tagot választ a 40 év alatti kiemelkedő eredményt elért kutatók közül eddig tudományos teljesítményük és a fiatal kutatókat segítő terveiket bemutató pályázatuk alapján. Oktatási keretrendszer | Budapesti Műszaki és Gazdaságtudományi Egyetem. Akadémiai Ifjúsági Díj Akadémiai Ifjúsági Díj Semeráth Oszkár részére A Magyar Tudományos Akadémia (MTA) 2021-ben Akadémiai Ifjúsági Díjban részesítette Semeráth Oszkárt az "Autonóm járművek ellenőrzése gráfalapú következtetéssel" című pályamunkájáért. A díjat 35 év alatti fiatalokat kaphatják kiemelkedő tudományos eredményeik elismerésére. Current version:
A tárgy további célja, hogy egy adatbázis rendszer kialakításának minden szintjét megismerjék, valamint a projektszemlélet és csapatmunka készségének kialakítása. A tantárgy tematikáját kidolgozta: Fotogrammetria és Térinformatika Tanszék Tanulási eredmények: A tanulási eredmények között az adott szak Képzési és Kimeneti Követelményében [18/2016. (VIII. 5. ) EMMI rendelet] előírt tanulási eredmények szerepelnek kékkel. A jelen tantárgy ezekhez való hozzájárulása feketével szedett. Tudás Ismeri és alkalmazza a környezetmérnöki szakmához kötött természettudományos és műszaki elméletet és gyakorlatot. Ismeri a relációs algebrát és a relációs adatbázisokat. Építőmérnöki ábrázolás | Budapesti Műszaki és Gazdaságtudományi Egyetem. Ismeri a környezetmérnöki tevékenységhez kapcsolódó munka- és tűzvédelmi, biztonságtechnikai, információtechnológiai, jogi, közgazdasági és gazdálkodási szakterületek alapjait, azok határait és követelményeit. Ismeri a normalizálás lépéseit és a redundancia-mentes adattárolás módját. Ismeri a modern adatbázisokban rejlő lehetőségeket. ismeri az SQL adatbáziskezelő nyelvet.
A projektben több mint 80 partner vesz részt, köztük az AITIA, evopro Innovation és az IncQuery Labs. Publikációink Teljes publikációs lista | Adathalmazok | Diasorok Kutatócsoportunk rendszeresen publikál a szoftvertechnológia (TSE, IST, STTT), modellalapú fejlesztés (MODELS, SoSyM), a formális verifikáció (TACAS, JAR) és a szoftvertesztelés (ICST, STVR) vezető konferenciáin és folyóirataiban. IEEE T Software Eng 2020 Automated Generation of Consistent Graph Models with Multiplicity Reasoning Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani. Oktatas epito bme hu xov tooj. Bővebben IEEE Access 2020 Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts A Coimbrai Egyetem kutatóival együttműködve olyan módszert javasoltunk, amivel blockchain rendszerek megbízhatósága vizsgálható. Bővebben Inform Software Tech 2020 Automated Isolation for White-box Test Generation Olyan módszert és eszközt készítettünk, ami forráskód-alapú tesztgenerálás során a tesztelt modul izolációja érdekében automatikusan mock környezeteket generál.