Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He. Mapping Software Architecture Specification to Rewriting Logic (Short Paper). In Hong Zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. pages 376-381, IEEE Computer Society, 2008. [doi]
@inproceedings{FuDDH08,
title = {Mapping Software Architecture Specification to Rewriting Logic (Short Paper)},
author = {Yujian Fu and Zhijiang Dong and Junhua Ding and Xudong He},
year = {2008},
doi = {10.1109/QSIC.2008.16},
url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.16},
tags = {software architecture, architecture, graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/FuDDH08},
cites = {0},
citedby = {0},
pages = {376-381},
booktitle = {Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK},
editor = {Hong Zhu},
publisher = {IEEE Computer Society},
}