analysis_method_static
EXPRESS specification:
ENTITY
analysis_method_static
SUBTYPE
OF
(
analysis_method
);
analysis_type
:
static_analysis_type
;
END_ENTITY
;
References (1):
Name
Type
Referred through
Express-G
analysis_method
Entity
Subtype
No Diagram
Inheritance graph
ENTITY
analysis_method_static;
ENTITY
analysis_method
;
analysis_name
:
label
;
analysis_assumptions
:
OPTIONAL
text
;
ENTITY
analysis_method_static
;
analysis_type
:
static_analysis_type
;
END_ENTITY
;