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...

Description complète

Détails bibliographiques
Publié dans:Proceedings. AMIA Symposium. - 1998. - (1999) vom: 23., Seite 955-9
Auteur principal: Silverman, B G (Auteur)
Autres auteurs: Sokolsky, O, Tannen, V, Wong, A, Lang, L, Khoury, A, Campbell, K, Qiang, C, Sahuguet, A
Format: Article
Langue:English
Publié: 1999
Accès à la collection:Proceedings. AMIA Symposium
Sujets:Journal Article Research Support, Non-U.S. Gov't