{"title":"Integrating a formal method into a software engineering process with {UML} and Java","author":[{"first_name":"Michael","last_name":"Möller","full_name":"Möller, Michael"},{"last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger","first_name":"Ernst-Rüdiger"},{"last_name":"Rasch","full_name":"Rasch, Holger","first_name":"Holger"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"citation":{"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>","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} }","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>.","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.","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>","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.","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>."},"status":"public","department":[{"_id":"77"}],"publication":"Formal Asp. Comput.","page":"161--204","type":"journal_article","year":"2008","date_updated":"2022-01-06T06:59:04Z","issue":"2","doi":"10.1007/s00165-007-0042-7","user_id":"29719","_id":"3205","date_created":"2018-06-13T09:48:29Z"}