Varró Dániel az MTA doktora

Dr. Varró Dániel, a kutatócsoport oktatója március végén sikerrel védte meg a Magyar Tudományos Akadémián disszertációját, és az MTA május 17-i döntése alapján elnyerte az MTA doktora címet a Műszaki tudományok területén. 

Poszter az Ericsson University Exhibition rendezvényen

Csoportunk a "Formal Verification of State Machine Models" poszterrel szerepelt az Ericsson valamint a BME és az ELTE kutatócsoportjainak együttműködését bemutató "Ericsson University Exhibition" rendezvényen. Tovább »

Meghívás rangos konferencia Irányító Testületébe

Dr. Pataricza András egyetemi tanárt meghívták az IEEE SRDS (Symposium of Reliable Distributed Systems) Irányító Testületébe. A rendezvénysorozat szakterülete az elosztott rendszerek tervezése, fejlesztése és értékelése különös tekintettel a megbízhatóság, rendelkezésre állás, biztonságosság, adatbiztonság és a valós idejű alkalmazások aspektusaira. Tovább »

Kocsis Imre meghívása egy IT méréstechnika témájú IEEE Workshop programbizottságába

A csoport tagjai közül Kocsis Imre tsmts és Pataricza András professzor meghívást kaptak a 2013 októberében az IEEE Műszer és Méréstechnika Társasága által Nápolyban rendezendő 2nd IEEE International Workshop M&N 2013  programbizottságába. Az M&N workshop sorozat fő témája az IT rendszerek méréstechnikája és a hálózatosítás kölcsönhatásának vizsgálata. Tovább »

Vendégkutatók érkeztek hozzánk

A CECRIS projekt keretében május 6-ától június 28-ig három vendégkutatót fogad a kutatócsoportunk. A kutatók közül ketten az olaszországi Resiltech s.r.l.-től érkeztek, egy kutató pedig a portugáliai székhelyű Critical Software-től. Tovább »

Meghívott előadás a jubileumi tizedik Simonyi Konferencián

Idén Horváth Ákos  munkatársunk tartott meghívott előadást a jubileumi tizedik Simonyi konferencián. Előadásának témája a repülőgépiparban alkalmazott szoftverfejlesztési sajátosságok ismeretetése és a csoport által az utóbbi években alkalmazott modellvezérelt fejlesztési módszerek ismeretetése volt.

  Tovább »

"Advances and Applications in Model-Driven Engineering" könyvfejezet

Tanszékünk munkatársa (Gönczy László) és hallgatója (Dávid István) által írt "Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study" könyvfejezet jelent meg az "Advances and Applications in Model-Driven Engineering" című könyvben. Az szerzők bevezetik a domain-specifikus nyelvcsaládok fogalmát és egy lehetséges fejlesztési módszert mutatnak be az eseményfeldolgozás szakterületéről származó konkrét esettanulmányon keresztül. Tovább »

Hallgatóink sikerei az OTDK konferencián

Hallgatóink 6 előadást mutattak be a XXXI. OTDK Informatika Tudományi Szekciójában, melyeket a bizottság két első, három második hellyel, és további 3 kiosztott különdíjjal jutalmazott. A dolgozatok a Szoftverfejlesztés és Rendszertervezés szekciókban kerültek bemutatásra. Tovább »

e-Freight Partners' Forum találkozó, Brüsszel

Az évi rendszerességgel tartott e-Freight Partners' Forum találozó 2013. március 13, 14-én Brüsszelben az Európai Parlamenttel szomszédos Sofitel Hotelben került megrendezésre. A kétnapos rendezvényen a munkacsoportok bemutatták az eddig elért eredményeiket, valamint elkezdődött a projekt főbb eredményeinek megállapítása. A találkozón a csoportot Kövi András képviselte.

Részvétel az ETAPS 2013 konferencián

Idén március 16. és 24. között Rómában került megrendezésre az ETAPS 2013 nemzetközi konferenciasorozat, amely a szoftvertudomány elméletének egyik legnagyobb európai fóruma (és korábban 2008-ban épp a kutatócsoportunk rendezte). A csoportot Varró Dániel képviselte, aki a FASE 2013 (Fundamental Approaches to Software Engineering) konferencia programbizottsági elnökeként volt jelen. Tovább »

Tartalom átvétel