Elke Pulvermueller. Reducing the Gap between Verification Models and Software Development Models. In Hamido Fujita, VladimÃr MarÃk, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic. Volume 199 of Frontiers in Artificial Intelligence and Applications, pages 297-313, IOS Press, 2009. [doi]
@inproceedings{Pulvermueller09,
title = {Reducing the Gap between Verification Models and Software Development Models},
author = {Elke Pulvermueller},
year = {2009},
doi = {10.3233/978-1-60750-049-0-297},
url = {http://dx.doi.org/10.3233/978-1-60750-049-0-297},
tags = {meta-model, model-driven development, Meta-Environment},
researchr = {https://researchr.org/publication/Pulvermueller09},
cites = {0},
citedby = {0},
pages = {297-313},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic},
editor = {Hamido Fujita and VladimÃr MarÃk},
volume = {199},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-60750-049-0},
}