This site has been permanently archived. This is a static copy provided by the University of Southampton.

Industrial deployment of system engineering methods providing high dependability and productivity
 

Language and Tool Support for Class and State Machine Refinement in UML-B

Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. [Rodin Archive]

[img]ZIP Archive (Rodin archive)
2008Kb
[img]Plain Text (Readme)
711b
[img]
Preview
PDF
400Kb

Item Type:Rodin Archive
Subjects:Tool developments
Event-B
ID Code:95
Deposited By:Mr Kriangsak Damchoom
Deposited On:02 May 2009 10:53
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved