36 rivejä
1.5 KiB
Plaintext
36 rivejä
1.5 KiB
Plaintext
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}
|
|
}
|
|
|