| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Integration of UML Views using B Notation
Abstract : The translation from UML specifications to formal B specifications gives a way to analyse rigorously UML specifications via their corresponding B formal specifications. This point is significant thanks to B support tools. This paper reports our experiences on UML-into-B translation that emphasise on the integration of different kinds of UML diagrams into B specifications.
Cited literature [17 references]
https://hal.inria.fr/inria-00107551
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:01:13 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:26:25 PM
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:01:13 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:26:25 PM