ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams

2006 ◽  
pp. 368-373 ◽  
Author(s):  
Manuel Clavel ◽  
Marina Egea
Keyword(s):  
Class Diagrams ◽  
Validation Tool

Decomposition of Large Class Diagrams Generated by Reverse Engineering

2011 ◽  
Vol 21 (11) ◽  
pp. 2701-2710
Author(s):  
Hui LIU ◽  
Wei-Zhong SHAO ◽  
Zhi-Yi MA
Keyword(s):  
Reverse Engineering ◽  
Large Class ◽  
Class Diagrams

PO-1759: A dose validation tool prior to proton and photon treatment in spine SRS

2020 ◽  
Vol 152 ◽  
pp. S979
Author(s):  
G. Liu ◽  
A. Qin ◽  
J. Zhou ◽  
D. Yan ◽  
L. Zhao ◽  
...  
Keyword(s):  
Validation Tool

A Comparison between Agent-Based and GIS-Based Tsunami Evacuation Simulations: A Case Study for Tofino, BC

2021 ◽  
Author(s):  
Joseph Kim ◽  
Tomoyuki Takabatake ◽  
Ioan NISTOR ◽  
Tomoya Shibayama
Keyword(s):  
Information Systems ◽  
Geographical Information Systems ◽  
Mortality Rates ◽  
Geographical Information ◽  
Evacuation Planning ◽  
Loss Of Life ◽  
Agent Based ◽  
Agent Based Modelling ◽  
Validation Tool

Soft measures such as evacuation planning are recommended to mitigate the loss of life during tsunamis. Two types of evacuation models are widely used: (1) Agent-based modelling (ABM) defines sets of rules that individual agents in a simulation follow during a simulated evacuation. (2) Geographical information systems (GIS) are more accessible to city planners, but cannot incorporate the dynamic behaviours found in ABMs. The two evacuation modelling methodologies were compared through a case study by assessing the state of evacuation preparedness and investigating potential mitigation options. The two models showed different magnitudes for mortality rates and facility demand but had similar trends. Both models agreed on the best solution to reduce the loss of life for the community. GIS may serve as a useful tool for initial investigation or as a validation tool for ABMs. ABMs are recommended for use when modelling evacuation until GIS methodologies are further developed.

A web-based e-learning tool for UML class diagrams

2010 ◽  
Author(s):  
J. Soler ◽  
I. Boada ◽  
F. Prados ◽  
J. Poch ◽  
R. Fabregat
Keyword(s):  
Learning Tool ◽  
Web Based ◽  
E Learning ◽  
Class Diagrams

scholarly journals Investigation of the XCAT phantom as a validation tool in cardiac MRI tracking algorithms

2018 ◽  
Vol 45 ◽  
pp. 44-51 ◽  
Author(s):  
Nicholas Lowther ◽  
Svenja Ipsen ◽  
Steven Marsh ◽  
Oliver Blanck ◽  
Paul Keall
Keyword(s):  
Cardiac Mri ◽  
Tracking Algorithms ◽  
Validation Tool
Sign in / Sign up

Export Citation Format

Share Document