Transformation of B specifications into UML class diagrams and state machines

Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz. Transformation of B specifications into UML class diagrams and state machines. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1840-1844, ACM, 2006. [doi]

Authors

Houda Fekih

This author has not been identified. Look up 'Houda Fekih' in Google

Leila Jemni Ben Ayed

This author has not been identified. Look up 'Leila Jemni Ben Ayed' in Google

Stephan Merz

This author has not been identified. It may be one of the following persons: Look up 'Stephan Merz' in Google