- 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
[...]
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2013
- 2012
- 2010
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
- 2000
- 1999
- 1998
- 1997
- 1996
- 1995
- 1994
- 1993
- 1992
- 1991
- 1990
- 1989
- 1985
|
LASER Publications
Static Analysis
by Elizabeth Henneman
A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes
Stefan Christov,
George 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 ]
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