Name
Abstract | ||
|---|---|---|
•Non-technical errors in standard operation procedures may compromise adherence.•A formal approach is proposed for content validation of medical procedure documents.•Ambiguities and other issues not detected by traditional approaches are discovered.•Proposed formal approach complements and facilitates further validation steps. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1016/j.ijmedinf.2017.04.012 | International Journal of Medical Informatics |
Keywords | Field | DocType |
Content validation,Public Health Informatics,Information dissemination,Formal verification,Graph Grammars | Kernel (linear algebra),Data mining,Information retrieval,Iterative and incremental development,Computer science,Standard operating procedure,Medical procedure,Public health informatics,Formal methods,Software requirements specification,Formal verification | Journal |
Volume | ISSN | Citations |
104 | 1386-5056 | 1 |
PageRank | References | Authors |
0.37 | 13 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Érika F. Cota | 1 | 242 | 14.51 |
| Leila Ribeiro | 2 | 9 | 2.95 |
| Jonas S. Bezerra | 3 | 1 | 1.38 |
| Andrei Costa | 4 | 1 | 0.37 |
| Rosiana Estefane da Silva | 5 | 1 | 0.37 |
| Gláucia Cota | 6 | 1 | 0.37 |