Using formal methods for content validation of medical procedure documents

Cota, Érika; Ribeiro, Leila; Bezerra, Jonas Santos; Costa, Á. S.; Silva, Rosiana Estéfane da; Cota, Gláucia

doi:10.1016/j.ijmedinf.2017.04.012

Cited by 9 publications

(8 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In most cases, errors of omission occur because a certain tacit or technical knowledge is assumed in the document. Details of conflict, dependency and rule sequence analysis can be found in Cota et al (2017) .…”

Section: Discussionmentioning

confidence: 99%

“…Content validation - Content validation refers to the judgment of the quality of the description of the tool (script) or, in other words, if it covers all the actions included in the proposed procedure (intralesional infiltration) and does not contain elements (or actions) related to other procedures. A formal content evaluation method ( Ribeiro et al 2014 ) - a previously validated tool for verification of software specification documents - was applied ( Cota et al 2017 ). This method was developed by computer scientists from Federal University of Rio Grande do Sul, Brazil, and it is based on six steps:…”

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Towards a standard protocol for antimony intralesional infiltration technique for cutaneous leishmaniasis treatment

Silva

Carvalho

Ramalho

et al. 2018

Mem. Inst. Oswaldo Cruz

Self Cite

View full text Add to dashboard Cite

BACKGROUNDDespite its recognised toxicity, antimonial therapy continues to be the first-line drug for cutaneous leishmaniasis (CL) treatment. Intralesional administration of meglumine antimoniate (MA) represents an alternative that could reduce the systemic absorption of the drug and its side effects.OBJECTIVESThis study aims to validate the standard operational procedure (SOP) for the intralesional infiltration of MA for CL therapy as the first step before the assessment of efficacy and safety related to the procedure.METHODSThe SOP was created based on 21 trials retrieved from the literature, direct monitoring of the procedure and consultation with experts. This script was submitted to a formal computer-aided inspection to identify readability, clarity, omission, redundancy and unnecessary information (content validation). For criterion and construct validations, the influence of critical condition changes (compliance with the instructions and professional experience) on outcome conformity (saturation status achievement), tolerability (pain referred) and safety (bleeding) were assessed.FINDINGSThe median procedure length was 12 minutes and in 72% of them, patients classified the pain as mild. The bleeding was also classified as mild in 96.6% of the procedures. Full compliance with the SOP was observed in 66% of infiltrations. Despite this, in 100% of the inspected procedures, lesion saturation was observed at the end of infiltration, which means that it tolerates some degree of modification in its execution (robustness) without prejudice to the result.CONCLUSIONSThe procedure is reproducible and can be used by professionals without previous training with high success and safety rates.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Methodsmentioning

confidence: 99%

Towards a standard protocol for antimony intralesional infiltration technique for cutaneous leishmaniasis treatment

Silva

Carvalho

Ramalho

et al. 2018

Mem. Inst. Oswaldo Cruz

Self Cite

View full text Add to dashboard Cite

show abstract

“…The survey instrument was developed with reference to other cross-sectional studies on disease awareness and prevention (Fryar et al, 2017 were developed with the 3 main languages used among the communities" various ethnic groups, including English, Malay, and Chinese. Both content and translation validation were conducted (Cota et al, 2017) , (Zamanzadeh et al, 2015). Translation validation was performed for the questionnaires in 3 different languages.…”

Section: Pre-post Survey Of Participantsmentioning

confidence: 99%

Engaging students in experiential learning through a public health campaign: a pre–post survey on hypertension and diabetes mellitus

Yeong

Kon

Ong

et al. 2021

View full text Add to dashboard Cite

PurposeThis study looked at the impact of a community-based public health campaign on hypertension and diabetes mellitus awareness and prevention, as well as student experiential learning in a campaign conducted by pharmacy students.Design/methodology/approachA convenience sampling cross-sectional pre–post survey was done to assess disease awareness and knowledge among those who attended the health campaign. The data analysis includes a total of 230 participants with complete data. After the campaign, the pharmacy students used self-assessment to reflect their learning experience.FindingsMost participants were unaware of their blood pressure and blood glucose readings, but they reported improved awareness of diseases and prevention of hypertension and diabetes after the health campaign. Although most participants correctly identified the common signs and symptoms of hypertension, few could associate it with overweight. Most participants were unaware of the 5 g per day salt intake limit for controlling hypertension before the campaign. Most participants were less aware that diabetes is associated with impaired vision, peripheral neuropathy, renal and heart diseases. Students expressed increased confidence in leadership, teamwork and communication abilities after the campaign based on self-assessment.Practical implicationsA health campaign enhances the disease knowledge of the general public. It has been suggested that experiential learning be encouraged in the pharmacy curriculum.Originality/valueThis study adds to the knowledge on the roles of community-based health campaigns and the value of pharmacy students’ involvement in experiential learning.

show abstract

“…The restriction to monic matches is often justified by specific applications under consideration (e.g. [17]), and as discussed in [32] it may even increase the expressiveness of the formalism (according to a suitable notion of generated language of graphs). However, to simulate the transformation steps obtained by a given rule and arbitrary matches using monic matches only, the price to pay is to add to the system all "quotients" (epimorphic images) of the original rule [32], which may hinder the applicability of dependency analysis to the system.…”

Section: Definition 27 (Categories Of Graphs)mentioning

confidence: 99%

“…Then we obtain from the M-initial pushout over q 2 , as in diagram (17), the following proto-essence:…”

Section: The Essence Of Conflicting Transformationsmentioning

confidence: 99%

On the essence and initiality of conflicts in M-adhesive transformation systems

Azzi

Corradini

Ribeiro

2019

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

Using formal methods for content validation of medical procedure documents

Cited by 9 publications

References 28 publications

Towards a standard protocol for antimony intralesional infiltration technique for cutaneous leishmaniasis treatment

Towards a standard protocol for antimony intralesional infiltration technique for cutaneous leishmaniasis treatment

Engaging students in experiential learning through a public health campaign: a pre–post survey on hypertension and diabetes mellitus

On the essence and initiality of conflicts in M-adhesive transformation systems

Contact Info

Product

Resources

About