Research kategória bejegyzései

Using Model-Based Testing for Quality Assurance of Protocol Documentation

Ezen a héten van az ETAPS konferencia itt Budapesten, és részben a tanszékünk szervezi, úgyhogy aki él és mozog, az kint van a helyszínen. A regisztráció intézése, technika felügyelete mellett azért szerencsére jut idő az előadásokra is, vasárnap a Model … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése

Meaningful Modeling: What is the Semantics of “Semantics”?

Érdekes cikket találtam arról, hogy miért is fontos egy nyelv megadása során a szemantikát rendesen, precízen megadni. Könnyen olvasható, gördülékeny stílusú, én a metrón olvastam végig. Felsorol egy csomó tévhitet a szemantikával kapcsolatban, a kedvenceim: "Semantics means looking mathematical: When … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése

Robustness Testing of the Windows DDK

Találtam egy érdekes cikket: http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=4273006 Windows driverek által elérhető operációs rendszerek robusztusságát vizsgálták. Kiválasztottak 20 függvényt, ahhoz meghatároztak hibás értékeket, és generáltak drivereket, amik meghívták az adott függvényt a hibás paraméterrel. Szép táblázatokat gyártottak ebből, hogy mennyi esetén kezelte le … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése

Robustness test suite for SA Forum HA middleware systems

I was working on robustness testing of High Availability middleware systems implementing the Service Availability Forum’s specifications. Finally we got to the point to publish the code of test suite and the detailed results obtained for the openais platform. The … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése

Symposium on Programming Languages and Software Tools

URL: http://www.inf.elte.hu/rendezvenyek/splst/ A konferenciáról: finnek, észtek és magyarok szervezik kétévente. Magyarországról főleg az ELTE és a szegedi egyetem vesz részt rajta. Most azt mondták a szervezők, nem volt szűrés, minél több cikket akartak, így bekerült mindenki, aki beküldött. Így volt … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése

ISAS 2007

  Hét elején volt szerencsém eljutni az International Service Availability Symposium (ISAS 2007) konferenciára. Külön élmény, hogy a konferenciát a New Hampshire Egyetem szervezi, így életemben először utaztam a tengerentúlra. Érdekes ország ez az USA, jó néhány kellemes és kevésbé kellemes … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése

Creativity in Engineering, Paper Submission Guidelines

Miután az egyik konferenciára a cikk megírása nem egészen egy hetett vett igénybe, majd utána azzal, hogy a formátumát a kiadott (végletegig részletes, ám hiányos és ellentmondó, a sablonnak meg nem felelő) utasításoknak megfelelő formára hozzam, további kb. 3 napot töltöttem, … Bővebben…

Kategória: Research | Megjegyzés hozzáfűzése