A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Behavioral Conformance Verification in an Integrated Approach Using UML and B
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |