--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Michael foaf_name: Möller, Michael foaf_surname: Möller - foaf_Person: foaf_givenName: Ernst-Rüdiger foaf_name: Olderog, Ernst-Rüdiger foaf_surname: Olderog - foaf_Person: foaf_givenName: Holger foaf_name: Rasch, Holger foaf_surname: Rasch - foaf_Person: foaf_givenName: Heike foaf_name: Wehrheim, Heike foaf_surname: Wehrheim foaf_workInfoHomepage: http://www.librecat.org/personId=573 bibo_doi: 10.1007/s00165-007-0042-7 bibo_issue: '2' dct_date: 2008^xs_gYear dct_title: Integrating a formal method into a software engineering process with {UML} and Java@ ...