Towards a unified formal model for supporting mechanisms of dynamic component update.
https://doi.org/10.1145/1081706.1081720
@inproceedings{DBLP:conf/sigsoft/ShenSHJSM05,
author = {Junrong Shen and
Xi Sun and
Gang Huang and
Wenpin Jiao and
Yanchun Sun and
Hong Mei},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Towards a unified formal model for supporting mechanisms of dynamic
component update},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {80--89},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081720},
doi = {10.1145/1081706.1081720},
timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ShenSHJSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签