Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei. Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. pages 100-107, IEEE Computer Society, 2008. [doi]
@inproceedings{ZhangLZMM08,
title = {Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram},
author = {Yan Zhang and Yi Liu and Le Zhang and Zhiyi Ma and Hong Mei},
year = {2008},
doi = {10.1109/COMPSAC.2008.72},
url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.72},
tags = {model checking, meta-model, modeling, UML, Meta-Environment},
researchr = {https://researchr.org/publication/ZhangLZMM08},
cites = {0},
citedby = {0},
pages = {100-107},
booktitle = {Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3262-2},
}