Using software engineering technology to improve the quality of medical processes

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 889-898

  Clarke, Lori A ^a   Avrunin, George S ^a   Osterweil, Leon J ^a  

^a University of Massachusetts Amherst   (United States)

Author keywords

Continuous process improvement; Medical processes; Process verification

Indexed keywords

CONTINUOUS PROCESS IMPROVEMENT; DISTRIBUTED SYSTEMS; MEDICAL PROCESSES; PROCESS IMPROVEMENTS; PROCESS VERIFICATION; RESEARCH DIRECTIONS; RIGOROUS ANALYSIS; PROCESS IMPROVEMENT; PROCESS VERIFICATIONS;

ENGINEERING; ENGINEERING RESEARCH; ENGINEERING TECHNOLOGY; ERRORS; SOFTWARE ENGINEERING; TECHNOLOGY;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE ENGINEERING;

EID: 55849147724     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370175.1370179     Document Type: Conference Paper

References (23)

1. 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.
2. A. G. Cass, B. S. Lerner, E. K. Mccall, L. J. Osterweil, S. M. Sutton Jr. and A. Wise, Little-JIL/Juliette: A Process Definition Language and Interpreter, in 22nd International Conference on Software Engineering, (Limerick, Ireland, 2000), 754-758.
3. S. S. Cha, N. G. Leveson and T. J. Shimeall, Safety Verification in Murphy Using Fault Tree Analysis, in 10th International Conference on Software Engineering, (Singapore, 1988), 377-386.
4. B. Chen, G. S. Avrunin, L. A. Clarke and L. J. Osterweil, Automatic Fault Tree Derivation from Little-JIL Process Definitions, in Software Process Workshop and Process Simulation Workshop, (Shanghai, China, 2006), Springer-Verlag LNCS, 150-158.
5. B. Chen, G. S. Avrunin, E. A. Henneman, L. A. Clarke, L. J. Osterweil and P. L. Henneman, Analyzing Medical Processes, in 30th International Conference on Software Engineering, (Leipzig, Germany, 2008), to appear.
6. 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)
7. L. A. Clarke, Y. Chen, G. S. Avrunin, B. Chen, R. Cobleigh, K. Frederick, E. A. Henneman and L. J. Osterweil, Process Programming to Support Medical Safety: A Case Study on Blood Transfusion, in Software Process Workshop 2005, (Beijing, China, 2005), Springer-Verlag, 347-359.
8. R. L. Cobleigh, G. S. Avrunin and L. A. Clarke, User Guidance for Creating Precise and Accessible Property Specifications, in 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, (Portland, OR, 2006), 208-218.
9. W. E. Deming Out of the Crisis. MIT Press, Cambridge, 1982.
10. M. B. Dwyer, G. S. Avrunin and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, in 21st International Conference on Software Engineering, (Los Angeles, CA, 1999), 411-420.
11. M. B. Dwyer, L. A. Clarke, J. M. Cobleigh and G. Naumovich Flow Analysis for Verifying Properties of Concurrent Software Systems. ACM Transactions on Software Engineering and Methodology, 13 (4). 359-430.
12. 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.
13. 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.
14. G. J. Holzmann The SPIN Model Checker. Addison-Wesley, 2004.
15. 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.
16. N. G. Leveson Safeware: System Safety and Computers. Addison-Wesley, 1995.
17. J. Misra Distributed Discrete Event Simulation. ACM Computing Surveys, 18 (1). 29-55.
18. L. J. Osterweil, Software Processes are Software, Too. in Ninth International Conference on Software Engineering, (Monterey, CA, 1987), IEEE Computer Society Press, 2-13.
19. L. J. Osterweil, Software Processes Are Software, Too, Revisited, in 19th International Conference on Software Engineering, (Boston, MA, 1997), 540-558.
20. 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.
21. R. L. Smith, G. S. Avrunin, L. A. Clarke and L. J. Osterweil, PROPEL: An Approach Supporting Property Elucidation, in 24th International Conference on Software Engineering, (Orlando, FL, 2002), 11-21.
22. W. Vesely, F. Goldberg, N. Roberts and D. Haasl. Fault Tree Handbook U.S. Nuclear Regulatory Commission, Washington, D.C., 1981.
23. A. Wise. Little-JIL 1.5 Language Report, Department of Computer Science, University of Massachusetts, Amherst, 2006, 28.