Core Data Model Mapping Directory

Name (FormalFrameworkName)

This property represents the Name of the Formal Framework.

This property represents the Name of the Formal Framework.

Internal Identifier
FormalFrameworkName
Public ID
No public identifier
CDMMD ID
http://mapping.semic.eu/vdm/id/cv/858b776e8d223aac1d5ac3c4f60e165e
Type
Property
Raw data
HTML | RDF/XML | Turtle

Metadata

type Property
label Name (FormalFrameworkName)
rdfs:range Text
Title Name (FormalFrameworkName)
definition This property represents the Name of the Formal Framework.
Description This property represents the Name of the Formal Framework.
type Property
has internal identifier FormalFrameworkName
sample
Is Part Of Core Vocabulary

Referenced by

Formal Framework