Formal MDE: Generating Data and Behavioral Components 171
4. A330-303. Aviation Safety Investigations and Reports AO-2008-070.
5. R. N. Charette (2009): This car runs on code. IEEE Spectrum. Available at
6. http://www.spectrum.ieee.org/feb09/7649.
7. JBoss Community: Hibernate: Relational Persistence for Java and .NET. www.hi-
bernate.org.
8. J. Davies, C. Crichton, E. Crichton, D. Neilson & I. H. Sørensen (2005): Formality,
evolution, and
9. model-driven software engineering. ENTCS 130, pp. 39–55, doi:10.1016/j.
entcs.2005.03.004.
10. B. Demuth & H. Hussmann (1999): Using UML/OCL Constraints for Relational
Database Design. In:
11. UML, LNCS 1723, pp. 598–613, doi:10.1007/3-540-46852-8 42.
12. A. van Deursen, P. Klint & J. Visser (2000): Domain-Specific ...