From OMT diagrams to B specifications

Authors:
Philippe Facon;Régine Laleau;Hong Phuong Nguyen
Affiliations:
-;-;-
Venue:
Software specification methods
Year:
2001

Citing 0
Cited 2

A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract