All Outputs (3)

Middle-out domain-specific aspect languages and their application in agent-based modelling runtime inspection (2019)
Thesis
Maddra, C. A. (2019). Middle-out domain-specific aspect languages and their application in agent-based modelling runtime inspection. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4221550

Domain-Specific Aspect Languages (DSALs) are a valuable tool for separating cross-cutting concerns, particularly within fields with endemic cross-cutting practices. Agent-Based Modelling (ABM) runtime inspection, which cuts across the core concern of... Read More about Middle-out domain-specific aspect languages and their application in agent-based modelling runtime inspection.

Compositional dependability analysis of dynamic systems with uncertainty (2016)
Thesis
Kabir, S. (2016). Compositional dependability analysis of dynamic systems with uncertainty. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4218244

Over the past two decades, research has focused on simplifying dependability analysis by looking at how we can synthesise dependability information from system models automatically. This has led to the field of model-based safety assessment (MBSA), w... Read More about Compositional dependability analysis of dynamic systems with uncertainty.

SAFE-FLOW : a systematic approach for safety analysis of clinical workflows (2015)
Thesis
Al-Qora'n, L. F. (2015). SAFE-FLOW : a systematic approach for safety analysis of clinical workflows. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4217817

The increasing use of technology in delivering clinical services brings substantial benefits to the healthcare industry. At the same time, it introduces potential new complications to clinical workflows that generate new risks and hazards with the po... Read More about SAFE-FLOW : a systematic approach for safety analysis of clinical workflows.