A formal mapping between UML models and object-z specifications

Kim, S. and Carrington, D. A. (2000). A formal mapping between UML models and object-z specifications. In: J. P. Bowen, S. Dunne, A. Galloway and S. King, First International Conference of B and Z Users: ZB 2000. ZB 2000, York, UK, (2-21). 29 August - 2 September 2000.

Author Kim, S.
Carrington, D. A.
Title of paper A formal mapping between UML models and object-z specifications
Conference name ZB 2000
Conference location York, UK
Conference dates 29 August - 2 September 2000
Proceedings title First International Conference of B and Z Users: ZB 2000
Place of Publication Berlin
Publisher Springer Verlag
Publication Year 2000
Sub-type Fully published paper
ISBN 3-540-67944-8
Editor J. P. Bowen
S. Dunne
A. Galloway
S. King
Volume 1878
Start page 2
End page 21
Total pages 20
Collection year 2000
Language eng
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 457 Abstract Views  -  Detailed Statistics
Created: Fri, 06 Jun 2008, 13:32:14 EST