{"date_updated":"2022-01-06T06:54:41Z","place":"New York, NY, USA","status":"public","date_created":"2021-01-13T10:01:49Z","_id":"20936","citation":{"mla":"Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, ACM, 2010, pp. 57–67.","bibtex":"@inproceedings{Löffler_Meyer_Gottschalk_2010, place={New York, NY, USA}, title={Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications}, booktitle={Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care}, publisher={ACM}, author={Löffler, Renate and Meyer, Matthias and Gottschalk, Matthias}, year={2010}, pages={57–67} }","apa":"Löffler, R., Meyer, M., &#38; Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 57–67.","ieee":"R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications,” in <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 2010, pp. 57–67.","chicago":"Löffler, Renate, Matthias Meyer, and Matthias Gottschalk. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” In <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 57–67. New York, NY, USA: ACM, 2010.","short":"R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.","ama":"Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. In: <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>. ACM; 2010:57-67."},"publication":"Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care","page":"57-67","author":[{"first_name":"Renate","last_name":"Löffler","full_name":"Löffler, Renate"},{"full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias","id":"683"},{"first_name":"Matthias","full_name":"Gottschalk, Matthias","last_name":"Gottschalk"}],"type":"conference","department":[{"_id":"76"}],"language":[{"iso":"eng"}],"publisher":"ACM","user_id":"5786","title":"Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications","year":"2010"}