- All Publications
- Static Analysis
- FLAVERS
- PROPEL
- Finite-State Verification
- Property Specification
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification
- INCA
- Experimentation
- Process Programming and Workflow
- Little-JIL
- Process Interpretation
- Resource Management
- Process Simulation
- Process Analysis
- Evaluation
- Rework
- Software Development
- Component-Based Software Engineering
- Arcadia
- Software Development Environments
- Refactoring
- Case Studies
- Medical Safety
- Elections
- Scientific Workflow
- Online Dispute Resolution
- Digital Government
- Software Development
- Electronic Enterprise Institute
- Improving Diversity
- Jump To:
- 2020
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1993
- 1992
- 1991
- 1990
- 1989
- 1987
- 1985
|
LASER Publications
by Elizabeth Henneman
A Benchmark for Evaluating Software Engineering Techniques for
Improving Medical Processes
Stefan Christov,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
Elizabeth Henneman,
International Conference
on Software Engineering, Workshop on Software Engineering in
Health Care (SEHC'10), Cape Town, South Africa, May 3-4, 2010. (UM-CS-2010-023)
A more complete description of the blood transfusion benchmark is
available in the technical report UM-CS-2010-010, originally dated
January 2010
[ PDF ]
[ Benchmark Artifacts ]
A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes
Stefan Christov,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
Elizabeth Henneman,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, January 2010. (UM-CS-2010-010)
[ PDF ]
Designing Property Specification to Improve the Safety of the Blood Transfusion Process
Elizabeth Henneman,
Rachel Cobleigh,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
Phil Henneman,
Transfusion Medicine Reviews, Vol. 22, No. 4, October 2008, pp. 291-299. (UM-CS-2010-054)
[ DOI ]
[ PHD ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|
This site is maintained by the