FormalRequirementType (FCO) - Abstract

Inheritance

Descendants

FormalRequirementType

FormalRequirement, FormalRequirementGroup

Attributes

Attribute name Description
Description

Remarks

Aspects

All: AggregatePort, DesignContainer, DesignElement, TestBench, TestBenchType, Workflow

Containment

Parents: Component, ComponentType, FormalRequirementContainer, TestComponent

Formal Specification

Structural Semantics: CyPhyML.4ml