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:
UML
The many meanings of UML 2 Sequence Diagrams: a survey
MSC
semantics
sequence diagram
UML
Micskei, Z.
, and
Waeselynck, H.
,
"
The many meanings of UML 2 Sequence Diagrams: a survey
",
Software and Systems Modeling
, vol. 10, issue 4: Springer Berlin / Heidelberg, pp. 489-514, 2011.
BibTex
Static Safety Analysis of UML Action Semantics for Critical Systems Development
Action Semantics
safety criteria
safety critical systems
UML
Pap, Z.
, and
Varró, D.
,
"
Static Safety Analysis of UML Action Semantics for Critical Systems Development
",
GI Jahrestagung (1)
, vol. 50: GI, pp. 57-61, September, 2004.
BibTex
Designing the Automatic Transformation of Visual Languages
dependability
graph transformation
model transformation
planner algorithms
system verification
UML
validation
verification
visual languages
XMI
Varró, D.
,
Varró, G.
, and
Pataricza, A.
,
"
Designing the Automatic Transformation of Visual Languages
",
Science of Computer Programming
, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002.
BibTex
Automatic Transformation of {UML} Models for System Verification
formal verification
model transformation
UML
Varró, D.
,
Gyapay, S.
, and
Pataricza, A.
,
"
Automatic Transformation of {UML} Models for System Verification
",
WTUML'01: Workshop on Transformations in UML
, Genova, Italy, pp. 123–127, April 7th, 2001.
BibTex
Mathematical Model Transformation for System Verification
graph transformation
model transformation
system verification
UML
Varró, D.
, and
Pataricza, A.
,
Mathematical Model Transformation for System Verification
,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000.
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