UML

The many meanings of UML 2 Sequence Diagrams: a survey

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

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

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

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

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

Primary Links

The many meanings of UML 2 Sequence Diagrams: a survey

Static Safety Analysis of UML Action Semantics for Critical Systems Development

Designing the Automatic Transformation of Visual Languages

Automatic Transformation of {UML} Models for System Verification

Mathematical Model Transformation for System Verification

Languages

BME EduID Sign on

User login

Leírások

Navigation