1 |
M. Shroff, R. France, "Towards Formalization of UML Class Structures in Z", in Proc. of the COMPSAC '97, Washington DC, pp.11-15, Aug. 1997.
|
2 |
Chee-Yang Song, "A Metamodel-Based Modeling Mechanism for Hierarchical Design in UML", Thesis for the Degree of Doctor, 2003. 7.
|
3 |
S. K. Kim, D. Carrington, "Formalizing the UML Class Diagram Using Object-Z", <>'99-The Unified Modeling Language LNCS, Vol.1723, pp.83-98, 1999.
|
4 |
S. K. Kim, D. Carrington, "A Formal Denotational Semantics of UML in Object-Z", the special Issue of the journal of l'Objet, To appear (2000) http://citeseerx.ist.psu.edu/showciting?cid=2216695
|
5 |
S. K. Kim, D. Carrington, "A Formal Mapping between UML models and Object-Z Specification ", The University of Queensland, Australia, Technical report 00-03, 2000.
|
6 |
S. K. Kim, D. Carrington, "A Formal Model of the UML Metamodel: the UML State Machine and its Integrity Constraints", Dept. of Computer Science and Electrical Engineering, University of Queensland, Australia. 2002.
|
7 |
M. Bittner, F. Kammuller, "Translating Fusion/UML to Object-Z", Formal Methods and Models for Co-Design, MEMOCODE '03. Proceedings. pp.49-50, June 2003. DOI: http://dx.doi.org/10.1109/MEMCOD.2003.1210087
DOI
|
8 |
C. Y. Song, E. S. Cho, and C. J. Kim, "A Formal Specification and Checking Technique of Feature model using Z language", Korea Society of Computer Information, Vol. 15, No. 1, pp.123-136, 2013. 4. DOI: http://dx.doi.org/10.9708/jksci.2013.18.1.123
과학기술학회마을
DOI
ScienceOn
|
9 |
E. S. Cho, C. J. Kim, and C. Y. Song, "A Formal Specification of Reusable Framework of Embedded System,", Korea Information Processing Society," Vol.17-D, No. 5, pp. 431-442, 2010. 12. DOI: http://dx.doi.org/10.3745/KIPSTD.2010.17D.6.431
과학기술학회마을
DOI
ScienceOn
|
10 |
Chee-Yang Song, Eun-Sook Cho, and Chul-Jin Kim, "AN INTEGRATED GUI-BUSINESS COMPONENT MODELING METHOD FOR THE MDD- AND MVC-BASED HIERARCHICAL DESIGNS", IJSEKE, Vol.21, No.3, pp.447-490, June 2011.
|
11 |
Object Management Group, MDA Guide Version 1.0.1, 2003. http://www.omg.org/docs/omg/03-06-01.pdf
|
12 |
Y. S. Lim, M. Kim, S. N. Jeong, and A. M. Jeong, "A New Component Model and Framework for Reuseof Components", Korean Institute of Inform ation Scientists and Engineers, Vol.34, No.12, 2007. 12.
|
13 |
C. Y. Song and E. S. Cho, C, "A PIM/PSM Component Modeling Technique based on 2+1 View Integrated Metamodel", Korea Information Processing Society, Vol.16-D, No.3, pp.381-394, 2009. 6.
과학기술학회마을
DOI
ScienceOn
|
14 |
Object Management Group, Unified Modeling Language: Infrastructure V2.1.1, 2007. http://www.omg.org/docs/formal/07-02-4.pdf.
|
15 |
J.M. Spivey. "The Z Notation: A Reference Manual," 2nd Ed. Prentice Hall, 1992.
|
16 |
J. Woodcock, J. Davis, "Using Z: Specification, Refinement and Proof, International Series in Computer Science," Prentice-Hall, http://www.usingz.com/text/online, 1996.
|
17 |
G. Smith, "The Object-Z Specification Language", Kluwer Academic Publishers, 1999.
|
18 |
M. Saaltink, The Z/EVES 2.0 Users Guide, TR- 99-5493-06A, ORA Canada, 1999.
|
19 |
M. Saaltink, The Z/EVES 2.2 Mathematical Tool kit. ORA Canada Technical Report TR-03-5493-05c, June 2003.
|
20 |
B. France, J. M. Bruel, M. M. Larrondo-Petrie, and M. Shroff, "Exploring The Semantics of UML Type Structures with Z", in Proc. 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, 1997.
|