su4sml - an SML repository for managing (Secure)UML/OCL models
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

36 lines
1.5KB

  1. To cite su4sml, please use
  2. Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. An MDA Framework Supporting
  3. OCL. In Electronic Communications of the EASST, 5, 2006.
  4. (doi:10.14279/tuj.eceasst.5.45)[http://dx.doi.org/10.14279/tuj.eceasst.5.45)
  5. A BibTeX entry for LaTeX user is
  6. @Article{ brucker.ea:mda:2006-b,
  7. abstract = {We present an MDA framework, developed in the functional
  8. programming language SML, that tries to bridge the gap
  9. between formal software development and the needs of
  10. industrial software development, e.g., code generation.
  11. Overall, our tool-chain provides support for software
  12. modeling using UML/OCL and guides the user from
  13. type-checking and model transformations to code generation
  14. and formal analysis of the UML/OCL model. We conclude with
  15. a report on our experiences in using a functional language
  16. for implementing MDA tools.},
  17. author = {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff},
  18. doi = {10.14279/tuj.eceasst.5.45},
  19. editor = {Birgith Demuth and Dan Chiorean and Martin Gogolla and Jos
  20. Warmer},
  21. issn = {1863-2122},
  22. journal = {Electronic Communications of the EASST},
  23. keywords = {MDE , MDA , OCL, model transformation, code-generation,
  24. verification},
  25. language = {USenglish},
  26. pdf = {https://www.brucker.ch/bibliography/download/2006/brucker.ea-mda-2006-b.pdf},
  27. title = {An {MDA} Framework Supporting {OCL}},
  28. url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b},
  29. volume = {5},
  30. year = {2006}
  31. }