On the Formalized Semantics of Static Modeling Elements in UML.
https://doi.org/10.1007/3-540-36103-0_51
@inproceedings{DBLP:conf/icfem/JiangSMF02,
author = {Yan{-}Bing Jiang and
Wei{-}Zhong Shao and
Zhi{-}Yi Ma and
Yao{-}Dong Feng},
editor = {Chris George and
Huaikou Miao},
title = {On the Formalized Semantics of Static Modeling Elements in {UML}},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {500--510},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_51},
doi = {10.1007/3-540-36103-0\_51},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/JiangSMF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签