A formal model of UML metamodel: The UML state machine and its integrity constraints

Kim, S. and Carrington, D. A. (2002). A formal model of UML metamodel: The UML state machine and its integrity constraints. In: D. Bert, J. Bowen, M. Henderson and K. Robinson, ZB 2002: Formal Specification and Development in Z and B. Second International Conference of Z and B Users, Grenoble, France, (497-516). 23-25 January, 2002.

Author Kim, S.
Carrington, D. A.
Title of paper A formal model of UML metamodel: The UML state machine and its integrity constraints
Conference Paper Type Fully Published Paper
Conference name Second International Conference of Z and B Users
Conference location Grenoble, France
Conference dates 23-25 January, 2002
Proceedings title ZB 2002: Formal Specification and Development in Z and B
Editor D. Bert
J. Bowen
M. Henderson
K. Robinson
Place published Berlin
Publisher Springer-Verlag
Publication date 2002
Volume number 1
ISBN 3-540-43166-7
Start page 497
End page 516
Total pages 20
Collection year 2002
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: 160 Abstract Views  -  Detailed Statistics
Created: Fri, 24 Aug 2007, 01:09:43 EST