Protocure: supporting the development of medical protocols through formal methods. Balser, M., Coltell, O., van Croonenborg , J., Duelli, C., van Harmelen , F., Jovell, A., Lucas, P., Marcos, M., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A., & ten Teije , A. Studies in Health Technology and Informatics, 101:103–107, IOS Press, 2004. abstract bibtex Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical guidelines and protocols. An approach grounded on a formal representation, can answer these needs, as we have demonstrated in the Protocure project'. The Protocure II project will aim at integrating formal methods in the life cycle of guidelines.
@article{bd30f9749bc0415aa960a33637b93d1a,
title = "Protocure: supporting the development of medical protocols through formal methods",
abstract = "Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical guidelines and protocols. An approach grounded on a formal representation, can answer these needs, as we have demonstrated in the Protocure project'. The Protocure II project will aim at integrating formal methods in the life cycle of guidelines.",
keywords = "Clinical Protocols, Decision Support Techniques, Evidence-Based Medicine, Humans, Planning Techniques, Practice Guidelines as Topic, Programming Languages, Software, Journal Article, Research Support, Non-U.S. Gov't",
author = "Michael Balser and Oscar Coltell and {van Croonenborg}, Joyce and Christoph Duelli and {van Harmelen}, Frank and Albert Jovell and Peter Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Rosenbrand, {Kitty C J G M} and Andreas Seyfang and {ten Teije}, Annette",
year = "2004",
volume = "101",
pages = "103--107",
journal = "Studies in Health Technology and Informatics",
issn = "0926-9630",
publisher = "IOS Press",
}
Downloads: 0
{"_id":"nnZZm4egjt5aqRrZu","bibbaseid":"balser-coltell-vancroonenborg-duelli-vanharmelen-jovell-lucas-marcos-etal-protocuresupportingthedevelopmentofmedicalprotocolsthroughformalmethods-2004","downloads":0,"creationDate":"2015-12-06T06:39:57.831Z","title":"Protocure: supporting the development of medical protocols through formal methods","author_short":["Balser, M.","Coltell, O.","van Croonenborg , J.","Duelli, C.","van Harmelen , F.","Jovell, A.","Lucas, P.","Marcos, M.","Miksch, S.","Reif, W.","Rosenbrand, K.","Seyfang, A.","ten Teije , A."],"year":2004,"bibtype":"article","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","bibdata":{"bibtype":"article","type":"article","title":"Protocure: supporting the development of medical protocols through formal methods","abstract":"Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical guidelines and protocols. An approach grounded on a formal representation, can answer these needs, as we have demonstrated in the Protocure project'. The Protocure II project will aim at integrating formal methods in the life cycle of guidelines.","keywords":"Clinical Protocols, Decision Support Techniques, Evidence-Based Medicine, Humans, Planning Techniques, Practice Guidelines as Topic, Programming Languages, Software, Journal Article, Research Support, Non-U.S. Gov't","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Balser"],"suffixes":[]},{"firstnames":["Oscar"],"propositions":[],"lastnames":["Coltell"],"suffixes":[]},{"propositions":["van Croonenborg"],"lastnames":[],"firstnames":["Joyce"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Duelli"],"suffixes":[]},{"propositions":["van Harmelen"],"lastnames":[],"firstnames":["Frank"],"suffixes":[]},{"firstnames":["Albert"],"propositions":[],"lastnames":["Jovell"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Lucas"],"suffixes":[]},{"firstnames":["Mar"],"propositions":[],"lastnames":["Marcos"],"suffixes":[]},{"firstnames":["Silvia"],"propositions":[],"lastnames":["Miksch"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Reif"],"suffixes":[]},{"propositions":[],"lastnames":["Rosenbrand"],"firstnames":["Kitty C J G M"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Seyfang"],"suffixes":[]},{"propositions":["ten Teije"],"lastnames":[],"firstnames":["Annette"],"suffixes":[]}],"year":"2004","volume":"101","pages":"103–107","journal":"Studies in Health Technology and Informatics","issn":"0926-9630","publisher":"IOS Press","bibtex":"@article{bd30f9749bc0415aa960a33637b93d1a,\n title = \"Protocure: supporting the development of medical protocols through formal methods\",\n abstract = \"Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical guidelines and protocols. An approach grounded on a formal representation, can answer these needs, as we have demonstrated in the Protocure project'. The Protocure II project will aim at integrating formal methods in the life cycle of guidelines.\",\n keywords = \"Clinical Protocols, Decision Support Techniques, Evidence-Based Medicine, Humans, Planning Techniques, Practice Guidelines as Topic, Programming Languages, Software, Journal Article, Research Support, Non-U.S. Gov't\",\n author = \"Michael Balser and Oscar Coltell and {van Croonenborg}, Joyce and Christoph Duelli and {van Harmelen}, Frank and Albert Jovell and Peter Lucas and Mar Marcos and Silvia Miksch and Wolfgang Reif and Rosenbrand, {Kitty C J G M} and Andreas Seyfang and {ten Teije}, Annette\",\n year = \"2004\",\n volume = \"101\",\n pages = \"103--107\",\n journal = \"Studies in Health Technology and Informatics\",\n issn = \"0926-9630\",\n publisher = \"IOS Press\",\n}\n\n\n","author_short":["Balser, M.","Coltell, O.","van Croonenborg , J.","Duelli, C.","van Harmelen , F.","Jovell, A.","Lucas, P.","Marcos, M.","Miksch, S.","Reif, W.","Rosenbrand, K.","Seyfang, A.","ten Teije , A."],"key":"bd30f9749bc0415aa960a33637b93d1a","id":"bd30f9749bc0415aa960a33637b93d1a","bibbaseid":"balser-coltell-vancroonenborg-duelli-vanharmelen-jovell-lucas-marcos-etal-protocuresupportingthedevelopmentofmedicalprotocolsthroughformalmethods-2004","role":"author","urls":{},"keyword":["Clinical Protocols","Decision Support Techniques","Evidence-Based Medicine","Humans","Planning Techniques","Practice Guidelines as Topic","Programming Languages","Software","Journal Article","Research Support","Non-U.S. Gov't"],"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/"}},"downloads":0},"search_terms":["protocure","supporting","development","medical","protocols","through","formal","methods","balser","coltell","van croonenborg ","duelli","van harmelen ","jovell","lucas","marcos","miksch","reif","rosenbrand","seyfang","ten teije "],"keywords":["clinical protocols","decision support techniques","evidence-based medicine","humans","planning techniques","practice guidelines as topic","programming languages","software","journal article","research support","non-u.s. gov't"],"authorIDs":["3obmQ57ktWcYPG9dJ","54573d5e2abc8e9f370001f6","5de727fb97054edf010000c1","5dea103bfac96fde01000184","5deb5f460ff3bbdf010000d1","5deba5e19abf64df01000061","5def85b045114dde010000d9","5df1db001070c8ef01000133","5df2d9b379c00ade01000122","5df3ad4eec6029de010000dd","5df7e18ddc100cde0100016e","5dfc11c9b371afde010000fc","5e004ddc63155bde0100004b","5e048417db7916df010000ad","5e08b6da7dc1dcdf010000cb","5e0cd9f66762d1de010000ab","5e0d1dd49ecb35de01000107","5e0da304675bf1de0100009f","5e0db208c7ca67df01000042","5e110aa2d6a01ede01000094","5e14998e830852de01000048","5e1aee555f3d2cdf0100012c","5e1ee07a875c69df010000f1","5e21a5ed3ef35cdf0100014f","5e24a1a31a6264de01000014","5e24d16e981ceddf010000a0","5e2ca60dcca05fde01000002","5e373b254cbab2df010000b5","5e381f370691b8de0100012e","5e391f337f8bf3f30100009b","5e3d460bdc4cd0f301000080","5e412f0fb54187de010001fd","5e46956e2e79a6df01000015","5e4f90e342a908de010000f0","5e55e1eec2c8a2df0100004b","5e55fb91819fabdf01000043","5e5d399073eb2edf0100005d","5e62c9b48f9dfede01000012","5e69ec413aab3cdf01000236","5e6a6051d37d43de0100021a","5uNwRzqPShqjj5w7n","67aLTCWbjGwkDDC9D","95DQ5KcEuc84FLGpw","9RwLS5Tu3kXtxYNXD","AZSDESQhTC3QweCiq","AgKpe75fbth2Q8zbs","Bm6s5DR3MSgxJ3wWr","BpJxc38YKyqTpBDhA","E5rA8DH9RCbZ8trMX","Er2P5Yhz7RkA8HH5Q","GuR62ZXthJcND8FNe","HK78wHnj2BKwHox8E","QxvM7gxJduoC5ACWE","SCujaYWzkdYmyT2Eo","cy8fYiReXtfHc2tqN","etKTQjxCiA468douC","fX6HifTArZSbcCozd","jde8THxMDAYEbySTP","ot9kP7ojCmwzzGy2d","oynzRoATcqFByjhqE","qBc7At3jT9LnqBMw3","rey8AwcLiwHEcvMRX","shBRjbZTLWKah2ebY","tdg6Pso6ddJK2rTaD","uhynEQbsamWFGmHHD","zyWJw2NzMcSAHredn"],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}