Matches in SemOpenAlex for { <https://semopenalex.org/work/W2397151985> ?p ?o ?g. }
- W2397151985 endingPage "178" @default.
- W2397151985 startingPage "164" @default.
- W2397151985 abstract "In health care, the trend of evidence-based medicine, has led medical specialists to develop medical guidelines, which are large nontrivial documents suggesting the detailed steps that should be taken by health-care professionals in managing the disease in a patient. In the Protocure project the objective has been to assess the improvement of medical guidelines using formal methods. This paper reports on some of our findings and experiences in quality checking medical guidelines. In particular the formalisation of meta-level quality criteria for good practice medicine, which is used in conjunction with medical background knowledge to verify the quality of a guideline dealing with the management of diabetes mellitus type 2 using the interactive theorem prover KIV. For comparison, analogous investigations have been performed with other techniques including automatic theorem proving and model checking." @default.
- W2397151985 created "2016-06-24" @default.
- W2397151985 creator A5007761892 @default.
- W2397151985 creator A5019419153 @default.
- W2397151985 creator A5038148668 @default.
- W2397151985 creator A5067441776 @default.
- W2397151985 creator A5086378938 @default.
- W2397151985 date "2007-01-01" @default.
- W2397151985 modified "2023-09-23" @default.
- W2397151985 title "Experiences in Quality Checking Medical Guidelines using Formal Methods" @default.
- W2397151985 cites W1491731293 @default.
- W2397151985 cites W1500937865 @default.
- W2397151985 cites W1503170978 @default.
- W2397151985 cites W1504403914 @default.
- W2397151985 cites W1504768701 @default.
- W2397151985 cites W1516631635 @default.
- W2397151985 cites W1556745289 @default.
- W2397151985 cites W1570739889 @default.
- W2397151985 cites W1586617399 @default.
- W2397151985 cites W1596912709 @default.
- W2397151985 cites W1603806745 @default.
- W2397151985 cites W1612453857 @default.
- W2397151985 cites W1748251377 @default.
- W2397151985 cites W182399388 @default.
- W2397151985 cites W1890938225 @default.
- W2397151985 cites W1897651547 @default.
- W2397151985 cites W1989319738 @default.
- W2397151985 cites W2009570820 @default.
- W2397151985 cites W2011184850 @default.
- W2397151985 cites W2018181006 @default.
- W2397151985 cites W2048140370 @default.
- W2397151985 cites W2057630596 @default.
- W2397151985 cites W2059572526 @default.
- W2397151985 cites W2087542833 @default.
- W2397151985 cites W2092467722 @default.
- W2397151985 cites W2108259544 @default.
- W2397151985 cites W2128908119 @default.
- W2397151985 cites W2135157700 @default.
- W2397151985 cites W2138073273 @default.
- W2397151985 cites W2138363439 @default.
- W2397151985 cites W2140630153 @default.
- W2397151985 cites W2147792706 @default.
- W2397151985 cites W2396147229 @default.
- W2397151985 cites W2399860794 @default.
- W2397151985 cites W2797608860 @default.
- W2397151985 cites W2471765219 @default.
- W2397151985 cites W2794455823 @default.
- W2397151985 hasPublicationYear "2007" @default.
- W2397151985 type Work @default.
- W2397151985 sameAs 2397151985 @default.
- W2397151985 citedByCount "0" @default.
- W2397151985 crossrefType "journal-article" @default.
- W2397151985 hasAuthorship W2397151985A5007761892 @default.
- W2397151985 hasAuthorship W2397151985A5019419153 @default.
- W2397151985 hasAuthorship W2397151985A5038148668 @default.
- W2397151985 hasAuthorship W2397151985A5067441776 @default.
- W2397151985 hasAuthorship W2397151985A5086378938 @default.
- W2397151985 hasConcept C111472728 @default.
- W2397151985 hasConcept C115903868 @default.
- W2397151985 hasConcept C138885662 @default.
- W2397151985 hasConcept C142724271 @default.
- W2397151985 hasConcept C160735492 @default.
- W2397151985 hasConcept C162324750 @default.
- W2397151985 hasConcept C199360897 @default.
- W2397151985 hasConcept C206880738 @default.
- W2397151985 hasConcept C2779530757 @default.
- W2397151985 hasConcept C2780182762 @default.
- W2397151985 hasConcept C41008148 @default.
- W2397151985 hasConcept C50522688 @default.
- W2397151985 hasConcept C71924100 @default.
- W2397151985 hasConcept C75606506 @default.
- W2397151985 hasConceptScore W2397151985C111472728 @default.
- W2397151985 hasConceptScore W2397151985C115903868 @default.
- W2397151985 hasConceptScore W2397151985C138885662 @default.
- W2397151985 hasConceptScore W2397151985C142724271 @default.
- W2397151985 hasConceptScore W2397151985C160735492 @default.
- W2397151985 hasConceptScore W2397151985C162324750 @default.
- W2397151985 hasConceptScore W2397151985C199360897 @default.
- W2397151985 hasConceptScore W2397151985C206880738 @default.
- W2397151985 hasConceptScore W2397151985C2779530757 @default.
- W2397151985 hasConceptScore W2397151985C2780182762 @default.
- W2397151985 hasConceptScore W2397151985C41008148 @default.
- W2397151985 hasConceptScore W2397151985C50522688 @default.
- W2397151985 hasConceptScore W2397151985C71924100 @default.
- W2397151985 hasConceptScore W2397151985C75606506 @default.
- W2397151985 hasLocation W23971519851 @default.
- W2397151985 hasOpenAccess W2397151985 @default.
- W2397151985 hasPrimaryLocation W23971519851 @default.
- W2397151985 hasRelatedWork W114869232 @default.
- W2397151985 hasRelatedWork W136917420 @default.
- W2397151985 hasRelatedWork W1481518662 @default.
- W2397151985 hasRelatedWork W1510747180 @default.
- W2397151985 hasRelatedWork W1890697268 @default.
- W2397151985 hasRelatedWork W2036449508 @default.
- W2397151985 hasRelatedWork W212778133 @default.
- W2397151985 hasRelatedWork W2212399629 @default.
- W2397151985 hasRelatedWork W2379065818 @default.
- W2397151985 hasRelatedWork W2476151584 @default.