Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
Elsődleges linkek
Kezdőlap
Események
Oktatás
Specializációválasztás
BSc tárgyak (Új képzés)
MSc tárgyak (Új képzés)
Önálló munka
Választható tárgyak
Doktori tárgyak
Korábbi tárgyak
Kutatás
Kutatási területek
Alkalmazási területek
Projektek
Eszközök
Publikációk
Hallgatóink sikerei
Kari TDK eredmények
Országos TDK eredmények
Magunkról
Munkatársak
Megközelítés
Partnereink
IBM Center of Advanced Studies
Primary Links
Keresés a webhelyen:
Automatic Algorithm Generation for Visual Control Structures
›
Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts
›
A GraphBLAS solution to the SIGMOD 2014 Programming Contest using multi-source BFS
›
Automated verification and validation of UML-based models of information systems
›
Házi feladat (MDSD 2016)
›
inductive logic programming
Automating Model Transformation by Example Using Inductive Logic Programming
by-example synthesis
inductive logic programming
model transformation
Viatra
Varró, D.
, and
Balogh, Z.
,
"
Automating Model Transformation by Example Using Inductive Logic Programming
",
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007
: ACM Press, pp. 978-984, 2007.
BibTex
Nyelvek
BME Címtár belépés
Belépés
Felhasználói név:
*
Jelszó:
*
Leírások
Dokumentáció és mérési jegyzőkönyvek készítése
Házi feladatok és jegyzőkönyvek leadása
IT szolgáltatások
Egyéb leírások
Navigáció
Conference materials