@inproceedings{Balser2004,
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.},
address = {Praag},
author = {Balser, Michael and Coltell, Oscar and van Croonenborg, Joyce and Duelli, Christoph and van Harmelen, Frank and Jovell, Albert and Lucas, Peter and Marcos, Mar and Miksch, Silvia and Reif, Wolfgang and Rosenbrand, Kitty and Seyfang, Andreas and ten Teije, Annette},
booktitle = {Proceedings of the Symposium of Computerised Protocols and Guidelines({\{}SCPG{\}}-04), Studies in health technology and informatics},
file = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Balser et al. - 2004 - Protocure supporting the development of medical protocols through formal methods.pdf:pdf},
issn = {0926-9630},
keywords = {Clinical Protocols,Decision Support Techniques,Evidence-Based Medicine,Humans,Planning Techniques,Practice Guidelines as Topic,Programming Languages,Software},
month = {jan},
pages = {103--7},
pmid = {15537209},
title = {{Protocure: supporting the development of medical protocols through formal methods.}},
url = {http://www.ncbi.nlm.nih.gov/pubmed/15537209 http://www.cs.vu.nl/{~}annette/papers-pdf/2004SCGP.pdf},
volume = {101},
year = {2004}
}

{"_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":"inproceedings","biburl":"http://www.cs.vu.nl/~annette/Annette-mendeley.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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.","address":"Praag","author":[{"propositions":[],"lastnames":["Balser"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Coltell"],"firstnames":["Oscar"],"suffixes":[]},{"propositions":["van"],"lastnames":["Croonenborg"],"firstnames":["Joyce"],"suffixes":[]},{"propositions":[],"lastnames":["Duelli"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":["van"],"lastnames":["Harmelen"],"firstnames":["Frank"],"suffixes":[]},{"propositions":[],"lastnames":["Jovell"],"firstnames":["Albert"],"suffixes":[]},{"propositions":[],"lastnames":["Lucas"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Marcos"],"firstnames":["Mar"],"suffixes":[]},{"propositions":[],"lastnames":["Miksch"],"firstnames":["Silvia"],"suffixes":[]},{"propositions":[],"lastnames":["Reif"],"firstnames":["Wolfgang"],"suffixes":[]},{"propositions":[],"lastnames":["Rosenbrand"],"firstnames":["Kitty"],"suffixes":[]},{"propositions":[],"lastnames":["Seyfang"],"firstnames":["Andreas"],"suffixes":[]},{"propositions":["ten"],"lastnames":["Teije"],"firstnames":["Annette"],"suffixes":[]}],"booktitle":"Proceedings of the Symposium of Computerised Protocols and Guidelines(\\SCPG\\-04), Studies in health technology and informatics","file":":Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Balser et al. - 2004 - Protocure supporting the development of medical protocols through formal methods.pdf:pdf","issn":"0926-9630","keywords":"Clinical Protocols,Decision Support Techniques,Evidence-Based Medicine,Humans,Planning Techniques,Practice Guidelines as Topic,Programming Languages,Software","month":"jan","pages":"103–7","pmid":"15537209","title":"Protocure: supporting the development of medical protocols through formal methods.","url":"http://www.ncbi.nlm.nih.gov/pubmed/15537209 http://www.cs.vu.nl/~annette/papers-pdf/2004SCGP.pdf","volume":"101","year":"2004","bibtex":"@inproceedings{Balser2004,\nabstract = {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.},\naddress = {Praag},\nauthor = {Balser, Michael and Coltell, Oscar and van Croonenborg, Joyce and Duelli, Christoph and van Harmelen, Frank and Jovell, Albert and Lucas, Peter and Marcos, Mar and Miksch, Silvia and Reif, Wolfgang and Rosenbrand, Kitty and Seyfang, Andreas and ten Teije, Annette},\nbooktitle = {Proceedings of the Symposium of Computerised Protocols and Guidelines({\\{}SCPG{\\}}-04), Studies in health technology and informatics},\nfile = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Balser et al. - 2004 - Protocure supporting the development of medical protocols through formal methods.pdf:pdf},\nissn = {0926-9630},\nkeywords = {Clinical Protocols,Decision Support Techniques,Evidence-Based Medicine,Humans,Planning Techniques,Practice Guidelines as Topic,Programming Languages,Software},\nmonth = {jan},\npages = {103--7},\npmid = {15537209},\ntitle = {{Protocure: supporting the development of medical protocols through formal methods.}},\nurl = {http://www.ncbi.nlm.nih.gov/pubmed/15537209 http://www.cs.vu.nl/{~}annette/papers-pdf/2004SCGP.pdf},\nvolume = {101},\nyear = {2004}\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":"Balser2004","id":"Balser2004","bibbaseid":"balser-coltell-vancroonenborg-duelli-vanharmelen-jovell-lucas-marcos-etal-protocuresupportingthedevelopmentofmedicalprotocolsthroughformalmethods-2004","role":"author","urls":{"Paper":"http://www.ncbi.nlm.nih.gov/pubmed/15537209 http://www.cs.vu.nl/~annette/papers-pdf/2004SCGP.pdf"},"keyword":["Clinical Protocols","Decision Support Techniques","Evidence-Based Medicine","Humans","Planning Techniques","Practice Guidelines as Topic","Programming Languages","Software"],"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/~frankh/publications.html"}},"downloads":0,"html":""},"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"],"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","9CnmDh6oPMNTwHksm","LEcHEiZn5fKAs2WWu"]}