HOLON/CADSE : integrating open software standards and formal methods to generate guideline-based decision support agents

This paper describes the efforts of a consortium that is trying to develop and validate formal methods and a meta-environment for authoring, checking, and maintaining a large repository of machine executable practice guidelines. The goal is to integrate and extend a number of open software standards...

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:Proceedings. AMIA Symposium. - 1998. - (1999) vom: 23., Seite 955-9
1. Verfasser: Silverman, B G (VerfasserIn)
Weitere Verfasser: Sokolsky, O, Tannen, V, Wong, A, Lang, L, Khoury, A, Campbell, K, Qiang, C, Sahuguet, A
Format: Aufsatz
Sprache:English
Veröffentlicht: 1999
Zugriff auf das übergeordnete Werk:Proceedings. AMIA Symposium
Schlagworte:Journal Article Research Support, Non-U.S. Gov't