A benchmark for evaluating software engineering techniques for improving medical processes

Authors:
Stefan C. Christov;George S. Avrunin;Lori A. Clarke;Leon J. Osterweil;Elizabeth A. Henneman
Affiliations:
University of Massachusetts, Amherst, MA;University of Massachusetts, Amherst, MA;University of Massachusetts, Amherst, MA;University of Massachusetts, Amherst, MA;University of Massachusetts, Amherst, MA
Venue:
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Year:
2010

Citing 10
Cited 2

Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Formal specification: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Little-JIL/Juliette: a process definition language and interpreter

Proceedings of the 22nd international conference on Software engineering
A Task-Specific Ontology for the Application and Critiquing of Time-Oriented Clinical Guidelines

AIME '97 Proceedings of the 6th Conference on Artificial Intelligence in Medicine in Europe
Flow analysis for verifying properties of concurrent software systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Real-time specification patterns

Proceedings of the 27th international conference on Software engineering
User guidance for creating precise and accessible property specifications

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing medical processes

Proceedings of the 30th international conference on Software engineering
Analyzing critical process models through behavior model synthesis

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Improving medical protocols by formal methods

Artificial Intelligence in Medicine

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview

Proceedings of the 1st ACM International Health Informatics Symposium
Using process definitions to support reasoning about satisfaction of process requirements

ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process

Quantified Score

Hi-index	0.01

Visualization

Abstract

The software engineering and medical informatics communities have been developing a range of approaches for reasoning about medical processes. To facilitate the comparison of such approaches, it would be desirable to have a set of medical examples, or benchmarks, that are easily available, described in considerable detail, and characterized in terms of the real-world complexities they capture. This paper presents one such benchmark and discusses a list of desiderata that medical benchmarks can be evaluated against.