Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt. Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell., 12(4):383-406, 2000.
@article{HutterLRSSV00,
title = {Formal software development in the Verification Support Environment (VSE)},
author = {Dieter Hutter and Bruno Langenstein and Georg Rock and Jörg H. Siekmann and Werner Stephan and Roland Vogt},
year = {2000},
tags = {meta-model, model-driven development, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/HutterLRSSV00},
cites = {0},
citedby = {0},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {12},
number = {4},
pages = {383-406},
}