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
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of Publication Berlin
Publisher Springer Verlag
Publication Year 2000
Sub-type Fully published paper
ISBN 3-540-67944-8
ISSN 1611-3349
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: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Access Statistics: 509 Abstract Views  -  Detailed Statistics
Created: Fri, 06 Jun 2008, 13:32:14 EST