{"publication":"Formal Asp. Comput.","citation":{"apa":"Möller, M., Olderog, E.-R., Rasch, H., &#38; Wehrheim, H. (2008). Integrating a formal method into a software engineering process with {UML} and Java. <i>Formal Asp. Comput.</i>, (2), 161--204. <a href=\"https://doi.org/10.1007/s00165-007-0042-7\">https://doi.org/10.1007/s00165-007-0042-7</a>","mla":"Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” <i>Formal Asp. Comput.</i>, no. 2, 2008, pp. 161--204, doi:<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>.","chicago":"Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” <i>Formal Asp. Comput.</i>, no. 2 (2008): 161--204. <a href=\"https://doi.org/10.1007/s00165-007-0042-7\">https://doi.org/10.1007/s00165-007-0042-7</a>.","bibtex":"@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }","ama":"Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. <i>Formal Asp Comput</i>. 2008;(2):161--204. doi:<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>","ieee":"M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with {UML} and Java,” <i>Formal Asp. Comput.</i>, no. 2, pp. 161--204, 2008.","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204."},"title":"Integrating a formal method into a software engineering process with {UML} and Java","date_updated":"2022-01-06T06:59:04Z","_id":"3205","doi":"10.1007/s00165-007-0042-7","user_id":"29719","type":"journal_article","page":"161--204","date_created":"2018-06-13T09:48:29Z","year":"2008","status":"public","department":[{"_id":"77"}],"author":[{"first_name":"Michael","full_name":"Möller, Michael","last_name":"Möller"},{"full_name":"Olderog, Ernst-Rüdiger","last_name":"Olderog","first_name":"Ernst-Rüdiger"},{"first_name":"Holger","full_name":"Rasch, Holger","last_name":"Rasch"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"issue":"2"}