. Seyfang, A., Martínez-Salvador, B., Serban, R., Wittenberg, J., Miksch, S., Marcos, M., Ten Teije, A., & Rosenbrand, K. Volume 4594 LNAI. Maintaining formal models of living guidelines efficiently, pages 441–445. 2007. abstract bibtex Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the corresponding formal models. When performing these updates, there are two goals: The modelling effort must be minimised and the links between the original document and the formal model must be maintained. In this paper, we describe our solution, using tools and techniques developed during the Protocure II project.
@inbook{a06de2367d074723b9a3facc6af646e3,
title = "Maintaining formal models of living guidelines efficiently",
abstract = "Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the corresponding formal models. When performing these updates, there are two goals: The modelling effort must be minimised and the links between the original document and the formal model must be maintained. In this paper, we describe our solution, using tools and techniques developed during the Protocure II project.",
author = "Andreas Seyfang and Begoña Martínez-Salvador and Radu Serban and Jolanda Wittenberg and Silvia Miksch and Mar Marcos and {Ten Teije}, Annette and Rosenbrand, {Kitty C J G M}",
year = "2007",
isbn = "3540735984",
volume = "4594 LNAI",
pages = "441--445",
booktitle = "Artificial Intelligence in Medicine - 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Proceedings",
}
Downloads: 0
{"_id":"Dcpgzx5QEfXJPtBW6","bibbaseid":"seyfang-martnezsalvador-serban-wittenberg-miksch-marcos-tenteije-rosenbrand-maintainingformalmodelsoflivingguidelinesefficiently-2007","downloads":0,"creationDate":"2017-10-10T08:05:28.890Z","title":"Maintaining formal models of living guidelines efficiently","author_short":["Seyfang, A.","Martínez-Salvador, B.","Serban, R.","Wittenberg, J.","Miksch, S.","Marcos, M.","Ten Teije, A.","Rosenbrand, K."],"year":2007,"bibtype":"inbook","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","bibdata":{"bibtype":"inbook","type":"inbook","title":"Maintaining formal models of living guidelines efficiently","abstract":"Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the corresponding formal models. When performing these updates, there are two goals: The modelling effort must be minimised and the links between the original document and the formal model must be maintained. In this paper, we describe our solution, using tools and techniques developed during the Protocure II project.","author":[{"firstnames":["Andreas"],"propositions":[],"lastnames":["Seyfang"],"suffixes":[]},{"firstnames":["Begoña"],"propositions":[],"lastnames":["Martínez-Salvador"],"suffixes":[]},{"firstnames":["Radu"],"propositions":[],"lastnames":["Serban"],"suffixes":[]},{"firstnames":["Jolanda"],"propositions":[],"lastnames":["Wittenberg"],"suffixes":[]},{"firstnames":["Silvia"],"propositions":[],"lastnames":["Miksch"],"suffixes":[]},{"firstnames":["Mar"],"propositions":[],"lastnames":["Marcos"],"suffixes":[]},{"propositions":[],"lastnames":["Ten Teije"],"firstnames":["Annette"],"suffixes":[]},{"propositions":[],"lastnames":["Rosenbrand"],"firstnames":["Kitty C J G M"],"suffixes":[]}],"year":"2007","isbn":"3540735984","volume":"4594 LNAI","pages":"441–445","booktitle":"Artificial Intelligence in Medicine - 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Proceedings","bibtex":"@inbook{a06de2367d074723b9a3facc6af646e3,\n title = \"Maintaining formal models of living guidelines efficiently\",\n abstract = \"Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the corresponding formal models. When performing these updates, there are two goals: The modelling effort must be minimised and the links between the original document and the formal model must be maintained. In this paper, we describe our solution, using tools and techniques developed during the Protocure II project.\",\n author = \"Andreas Seyfang and Begoña Martínez-Salvador and Radu Serban and Jolanda Wittenberg and Silvia Miksch and Mar Marcos and {Ten Teije}, Annette and Rosenbrand, {Kitty C J G M}\",\n year = \"2007\",\n isbn = \"3540735984\",\n volume = \"4594 LNAI\",\n pages = \"441--445\",\n booktitle = \"Artificial Intelligence in Medicine - 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Proceedings\",\n}\n\n\n","author_short":["Seyfang, A.","Martínez-Salvador, B.","Serban, R.","Wittenberg, J.","Miksch, S.","Marcos, M.","Ten Teije, A.","Rosenbrand, K."],"key":"a06de2367d074723b9a3facc6af646e3","id":"a06de2367d074723b9a3facc6af646e3","bibbaseid":"seyfang-martnezsalvador-serban-wittenberg-miksch-marcos-tenteije-rosenbrand-maintainingformalmodelsoflivingguidelinesefficiently-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["maintaining","formal","models","living","guidelines","efficiently","seyfang","martínez-salvador","serban","wittenberg","miksch","marcos","ten teije","rosenbrand"],"keywords":[],"authorIDs":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}