Combining UML with the B Formal Method for the Specification of Database Applications - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 1999

Combining UML with the B Formal Method for the Specification of Database Applications

No file

Dates and versions

hal-01124517 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01124517 , version 1

Cite

Philippe Facon, Régine Laleau, Amel Mammar. Combining UML with the B Formal Method for the Specification of Database Applications. [Research Report] CEDRIC-99-87, CEDRIC Lab/CNAM. 1999. ⟨hal-01124517⟩
23 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More