|
- 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}
- }
|
