Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Safety verification in Murphy using fault tree analysis
ICSE '88 Proceedings of the 10th international conference on Software engineering
Safeware: system safety and computers
Safeware: system safety and computers
ICSE '97 Proceedings of the 19th international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Little-JIL/Juliette: a process definition language and interpreter
Proceedings of the 22nd international conference on Software engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
User guidance for creating precise and accessible property specifications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Complex medical processes as context for embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Proceedings of the 30th international conference on Software engineering
Process programming to support medical safety: a case study on blood transfusion
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Automatic fault tree derivation from Little-JIL process definitions
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Automated Software Engineering
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Analyzing critical process models through behavior model synthesis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Structural Considerations in Defining Executable Process Models
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Formalisms to support the definition of processes
Journal of Computer Science and Technology
Modeling and analyzing faults to improve election process robustness
EVT/WOTE'10 Proceedings of the 2010 international conference on Electronic voting technology/workshop on trustworthy elections
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Integrating clinical pathways into CDSS using context and rules: a case study in heart disease
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Hi-index | 0.00 |
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways, medical processes are similar to distributed systems in their complexity and proneness to contain errors. We have been investigating the application of a continuous process improvement approach to medical processes in which detailed and semantically rich models of the medical processes are created and then subjected to rigorous analyses. The technologies we applied helped improve understanding about the processes and led to the detection of errors and subsequent improvements to those processes. This work is still preliminary, but is suggesting new research directions for medical process improvement, software engineering technologies, and the applicability of these technologies to other domains involving human-intensive processes.