@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},
  language	= {USenglish},
  public	= {yes},
  categories	= {holocl},
  classification= {ejournal},
  areas		= {security, formal methods, software},
  keywords	= {MDE , MDA , OCL, model transformation, code-generation,
		  verification},
  title		= {An {MDA} Framework Supporting{ OCL}},
  editor	= {Birgith Demuth and Dan Chiorean and Martin Gogolla and Jos
		  Warmer},
  issn		= {1863-2122},
  volume	= {5},
  year		= {2006},
  journal	= {Electronic Communications of the EASST},
  copyright	= {ECEASST},
  copyrighturl	= {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/45}
		  ,
  pdf		= {http://www.brucker.ch/bibliography/download/2006/brucker.ea-mda-2006-b.pdf},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b}
		  
}