An overview of a method and its support tool for generating B specifications from UML notations
- 1 January 2000
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A Rigorous Metamodel for UML Static Conceptual Modelling of Information SystemsNotes on Numerical Fluid Mechanics and Multidisciplinary Design, 2001
- The B-BookPublished by Cambridge University Press (CUP) ,1996