diff --git a/CITATION b/CITATION new file mode 100644 index 0000000..12f1fab --- /dev/null +++ b/CITATION @@ -0,0 +1,35 @@ +To cite su4sml, please use + + Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. An MDA Framework Supporting + OCL. In Electronic Communications of the EASST, 5, 2006. + (doi:10.14279/tuj.eceasst.5.45)[http://dx.doi.org/10.14279/tuj.eceasst.5.45) + +A BibTeX entry for LaTeX user is + +@Article{ brucker.ea:mda:2006-b, + abstract = {We present an MDA framework, developed in the functional + programming language SML, that tries to bridge the gap + between formal software development and the needs of + industrial software development, e.g., code generation. + Overall, our tool-chain provides support for software + modeling using UML/OCL and guides the user from + type-checking and model transformations to code generation + and formal analysis of the UML/OCL model. We conclude with + a report on our experiences in using a functional language + for implementing MDA tools.}, + author = {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff}, + doi = {10.14279/tuj.eceasst.5.45}, + editor = {Birgith Demuth and Dan Chiorean and Martin Gogolla and Jos + Warmer}, + issn = {1863-2122}, + journal = {Electronic Communications of the EASST}, + keywords = {MDE , MDA , OCL, model transformation, code-generation, + verification}, + language = {USenglish}, + pdf = {https://www.brucker.ch/bibliography/download/2006/brucker.ea-mda-2006-b.pdf}, + title = {An {MDA} Framework Supporting {OCL}}, + url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b}, + volume = {5}, + year = {2006} +} +