Linking UML with integrated formal techniques

Authors:
Jing Liu;Jin Song Dong;Kun Shi;Brendan Mahony
Affiliations:
-;-;-;-
Venue:
Unified modeling language
Year:
2001

Citing 0
Cited 3

A Formal Object Approach to the Design of ZML

Annals of Software Engineering
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Supplementing a UML Development Process with B

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Quantified Score

Hi-index	0.00

Visualization

Abstract