149 related articles for article (PubMed ID: 32310952)
1. Formalizing the use case model: A model-based approach.
Zaman QU; Nadeem A; Sindhu MA
PLoS One; 2020; 15(4):e0231534. PubMed ID: 32310952
[TBL] [Abstract][Full Text] [Related]
2. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
Czepa C; Amiri A; Ntentos E; Zdun U
Softw Syst Model; 2019; 18(6):3331-3371. PubMed ID: 31975976
[TBL] [Abstract][Full Text] [Related]
3. Authoring and verification of clinical guidelines: a model driven approach.
Pérez B; Porres I
J Biomed Inform; 2010 Aug; 43(4):520-36. PubMed ID: 20206714
[TBL] [Abstract][Full Text] [Related]
4. Multioracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets.
Wever M; van Rooijen L; Hamann H
Evol Comput; 2020; 28(2):165-193. PubMed ID: 31730371
[TBL] [Abstract][Full Text] [Related]
5. Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
Pérez B
J Biomed Inform; 2019 Apr; 92():103134. PubMed ID: 30831315
[TBL] [Abstract][Full Text] [Related]
6. "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
Arellano G; Argil J; Azpeitia E; Benítez M; Carrillo M; Góngora P; Rosenblueth DA; Alvarez-Buylla ER
BMC Bioinformatics; 2011 Dec; 12():490. PubMed ID: 22192526
[TBL] [Abstract][Full Text] [Related]
7. A formal framework for modelling and validating medical systems.
Eleftherakis G
Stud Health Technol Inform; 2001; 84(Pt 1):13-7. PubMed ID: 11604697
[TBL] [Abstract][Full Text] [Related]
8. Extraction of use case diagram elements using natural language processing and network science.
Imtiaz Malik M; Azam Sindhu M; Ayaz Abbasi R
PLoS One; 2023; 18(6):e0287502. PubMed ID: 37352209
[TBL] [Abstract][Full Text] [Related]
9. Formal verification of software-based medical devices considering medical guidelines.
Daw Z; Cleaveland R; Vetter M
Int J Comput Assist Radiol Surg; 2014 Jan; 9(1):145-53. PubMed ID: 23824830
[TBL] [Abstract][Full Text] [Related]
10. Automatic validation of computational models using pseudo-3D spatio-temporal model checking.
Pârvu O; Gilbert D
BMC Syst Biol; 2014 Dec; 8():124. PubMed ID: 25440773
[TBL] [Abstract][Full Text] [Related]
11. Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification.
Xu H; Wang P
PLoS One; 2016; 11(12):e0167168. PubMed ID: 27918594
[TBL] [Abstract][Full Text] [Related]
12. Acquiring guideline-enabled data driven clinical knowledge model using formally verified refined knowledge acquisition method.
Hussain M; Afzal M; Malik KM; Ali T; Ali Khan W; Irfan M; Jamshed A; Lee S
Comput Methods Programs Biomed; 2020 Dec; 197():105701. PubMed ID: 32882592
[TBL] [Abstract][Full Text] [Related]
13. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
Farrell M; Mavrakis N; Ferrando A; Dixon C; Gao Y
Front Robot AI; 2021; 8():639282. PubMed ID: 35155585
[TBL] [Abstract][Full Text] [Related]
14. Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications.
Baek C; Cho K
Sensors (Basel); 2024 May; 24(10):. PubMed ID: 38793854
[TBL] [Abstract][Full Text] [Related]
15. Requirements for medical modeling languages.
van der Maas AA; ter Hofstede AH; ten Hoopen AJ
J Am Med Inform Assoc; 2001; 8(2):146-62. PubMed ID: 11230383
[TBL] [Abstract][Full Text] [Related]
16. A computer-based flowcharting system for clinical protocols.
Todd BS; Ledger WL
Med Inform (Lond); 1995; 20(3):177-98. PubMed ID: 8882558
[TBL] [Abstract][Full Text] [Related]
17. Dependability modeling and assessment in UML-based software development.
Bernardi S; Merseguer J; Petriu DC
ScientificWorldJournal; 2012; 2012():614635. PubMed ID: 22988428
[TBL] [Abstract][Full Text] [Related]
18. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.
Błądek I; Krawiec K; Swan J
Evol Comput; 2018; 26(3):441-469. PubMed ID: 29786460
[TBL] [Abstract][Full Text] [Related]
19. An approach for integrating the prioritization of functional and nonfunctional requirements.
Dabbagh M; Lee SP
ScientificWorldJournal; 2014; 2014():737626. PubMed ID: 24982987
[TBL] [Abstract][Full Text] [Related]
20. The effectiveness of internet-based e-learning on clinician behavior and patient outcomes: a systematic review protocol.
Sinclair P; Kable A; Levett-Jones T
JBI Database System Rev Implement Rep; 2015 Jan; 13(1):52-64. PubMed ID: 26447007
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]
