Maik Wurdel, Daniel Sinnig, Peter Forbrig. Task Model Refinement with Meta Operators. In T. C. Nicholas Graham, Philippe A. Palanque, editors, Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Volume 5136 of Lecture Notes in Computer Science, pages 300-305, Springer, 2008. [doi]
@inproceedings{WurdelSF08,
title = {Task Model Refinement with Meta Operators},
author = {Maik Wurdel and Daniel Sinnig and Peter Forbrig},
year = {2008},
doi = {10.1007/978-3-540-70569-7_28},
url = {http://dx.doi.org/10.1007/978-3-540-70569-7_28},
tags = {meta-model, refinement, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/WurdelSF08},
cites = {0},
citedby = {0},
pages = {300-305},
booktitle = {Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers},
editor = {T. C. Nicholas Graham and Philippe A. Palanque},
volume = {5136},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70568-0},
}