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 Paper Type Fully Published Paper
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
Editor J. P. Bowen
S. Dunne
A. Galloway
S. King
Place published Berlin
Publisher Springer Verlag
Publication date 2000
Volume number 1878
ISBN 3-540-67944-8
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

Document type: Conference Paper
Sub-type: Fully Published Paper
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 447 Abstract Views  -  Detailed Statistics
Created: Fri, 06 Jun 2008, 13:32:14 EST