{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T18:54:47Z","timestamp":1773600887111,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,10]],"date-time":"2008-05-10T00:00:00Z","timestamp":1210377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,10]]},"DOI":"10.1145\/1370175.1370179","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T14:36:48Z","timestamp":1210862208000},"page":"889-898","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Using software engineering technology to improve the quality of medical processes"],"prefix":"10.1145","author":[{"given":"Lori A.","family":"Clarke","sequence":"first","affiliation":[{"name":"University of Massachusetts, Amherst, MA, USA"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA, USA"}]},{"given":"Leon J.","family":"Osterweil","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2008,5,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","unstructured":"G. S. Avrunin L. A. Clarke E. A. Henneman and L. J. Osterweil Complex Medical Processes as Context for Embedded Systems. ACM SIGBED Review special issue on Workshop on Innovative Techniques for Certification of Embedded Systems 3 (4). 9--14. 10.1145\/1183088.1183091","DOI":"10.1145\/1183088.1183091"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337623"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/55823.55860"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11754305_17"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368175"},{"key":"e_1_3_2_1_6_1","volume-title":"Workshop on Model-Oriented Trustworthy Health Information Systems (MOTHIS)","volume":"2007","author":"Christov S. C.","year":"2007","unstructured":"S. C. Christov, B. Avrunin, G.S., Chen, B., Clarke, L. A., Osterweil, L.J., Brown, D., Cassells, L., Mertens, W., Rigorously Defining and Analyzing Medical Processes: An Experience Report, in Workshop on Model-Oriented Trustworthy Health Information Systems (MOTHIS), (Nashville, TN, 2007). (to appear in LNCS Volume on Models in Software Engineering Workshops and Symposia at MoDELS 2007, Reports and Revised Selected Papers, Editor: Holger Giese)"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11608035_29"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181801"},{"key":"e_1_3_2_1_9_1","volume-title":"MIT Press","author":"Deming W. E.","year":"1982","unstructured":"W. E. Deming Out of the Crisis. MIT Press, Cambridge, 1982."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"e_1_3_2_1_12_1","first-page":"49","volume":"21","author":"Henneman E. A.","unstructured":"E. A. Henneman, G. S. Avrunin, L. A. Clarke, L. J. Osterweil, C. J. Andrzejewski, K. Merrigan, R. Cobleigh, K. Frederick, E. Katz-Basset and P. L. Henneman. Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions. Transfusion Medicine Reviews, 21 (1). 49--57.","journal-title":"Transfusion Therapy Using Formal Process Definitions. Transfusion Medicine Reviews"},{"key":"e_1_3_2_1_13_1","unstructured":"E. A. Henneman R. Cobleigh G. S. Avrunin L. A. Clarke L. J. Osterweil and P. L. Henneman Property Specification to Improve the Safety of the Blood Transfusion Process. Transfusion Medicine Reviews. to appear."},{"key":"e_1_3_2_1_14_1","volume":"200","author":"G.","unstructured":"G. J. Holzmann The SPIN Model Checker. Addison-Wesley, 2004.","journal-title":"J. Holzmann The SPIN Model Checker. Addison-Wesley"},{"key":"e_1_3_2_1_15_1","volume-title":"To Err is Human: Building a Safer Health System","author":"Kohn L. T.","year":"1999","unstructured":"L. T. Kohn, J. M. Corrigan and M. S. Donaldson (eds.). To Err is Human: Building a Safer Health System. National Academy Press, Washington DC, 1999."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/202709"},{"key":"e_1_3_2_1_17_1","first-page":"29","volume":"18","unstructured":"J. Misra Distributed Discrete Event Simulation. ACM Computing Surveys, 18 (1). 29--55.","journal-title":"J. Misra Distributed Discrete Event Simulation. ACM Computing Surveys"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/41765.41766"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253440"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the IFIP Working Group 8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences (Method Engineering 2007","author":"Osterweil L. J.","year":"2007","unstructured":"L. J. Osterweil, G. S. Avrunin, B. Chen, L. A. Clarke, R. L. Cobleigh, E. A. Henneman and P. L. Henneman, Engineering Medical Processes to Improve their Safety: An Experience Report. in Proceedings of the IFIP Working Group 8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences (Method Engineering 2007), (Geneva, 2007), Springer-Verlag, 267--282."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581345"},{"key":"e_1_3_2_1_22_1","volume-title":"Fault Tree Handbook U.S","author":"Vesely W.","year":"1981","unstructured":"W. Vesely, F. Goldberg, N. Roberts and D. Haasl. Fault Tree Handbook U.S. Nuclear Regulatory Commission, Washington, D.C., 1981."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/897452"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany","acronym":"ICSE '08","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","ACM Association for Computing Machinery"]},"container-title":["Companion Proceedings of the 30th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370175.1370179","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370175.1370179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T18:29:20Z","timestamp":1773599360000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370175.1370179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,10]]},"references-count":23,"alternative-id":["10.1145\/1370175.1370179","10.1145\/1370175"],"URL":"https:\/\/doi.org\/10.1145\/1370175.1370179","relation":{},"subject":[],"published":{"date-parts":[[2008,5,10]]},"assertion":[{"value":"2008-05-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}