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 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
Place of Publication Berlin
Publisher Springer-Verlag
Publication Year 2002
Sub-type Fully published paper
ISBN 3-540-43166-7
Editor D. Bert
J. Bowen
M. Henderson
K. Robinson
Volume 1
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: 178 Abstract Views  -  Detailed Statistics
Created: Fri, 24 Aug 2007, 01:09:43 EST