{"department":[{"_id":"76"}],"user_id":"5786","place":"New York, NY, USA","citation":{"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} }","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.","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.","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.","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.","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."},"publisher":"ACM","author":[{"full_name":"Löffler, Renate","last_name":"Löffler","first_name":"Renate"},{"last_name":"Meyer","full_name":"Meyer, Matthias","first_name":"Matthias","id":"683"},{"full_name":"Gottschalk, Matthias","last_name":"Gottschalk","first_name":"Matthias"}],"status":"public","date_updated":"2022-01-06T06:54:41Z","year":"2010","_id":"20936","language":[{"iso":"eng"}],"type":"conference","page":"57-67","title":"Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications","date_created":"2021-01-13T10:01:49Z","publication":"Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care"}