Bahman Zamani, Greg Butler. Describing Pattern Languages for Checking Design Models. In Shahida Sulaiman, Noor Maizura Mohamad Noor, editors, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia. pages 197-204, IEEE Computer Society, 2009. [doi]
@inproceedings{ZamaniB09,
title = {Describing Pattern Languages for Checking Design Models},
author = {Bahman Zamani and Greg Butler},
year = {2009},
doi = {10.1109/APSEC.2009.38},
url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2009.38},
tags = {pattern language, model checking, meta-model, modeling language, language modeling, language design, Meta-Environment, design},
researchr = {https://researchr.org/publication/ZamaniB09},
cites = {0},
citedby = {0},
pages = {197-204},
booktitle = {16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia},
editor = {Shahida Sulaiman and Noor Maizura Mohamad Noor},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3909-6},
}