Analyzing medical processes

This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes used to administer healthcare. The work described here builds upon earlier work demonstrating that healthcare processes c...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Bin, Avrunin, George S., Henneman, Elizabeth A., Clarke, Lori A., Osterweil, Leon J., Henneman, Philip L.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied computing > Life and medical sciences Blood Computer science Engineering management finite-state verification General and reference > Cross-computing tools and techniques > Verification Hospitals Human factors medical processes Medical services model checking Natural languages Permission property specifications Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Software engineering Software systems Theory of computation > Semantics and reasoning > Program reasoning > Program verification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!