Class: Requirement

A requirement for a software system.

•owl:Thing
        •Requirement

Super Classes

requirementEncodedBy ONLY OOClass
hasEntryPoint ONLY OOMethod
owl:Thing

Disjoint Classes

Metric, OOSoftwareComponent, Test

Abstract Syntax

Class(Requirement partial restriction(requirementEncodedBy allValuesFrom(OOClass))
                         restriction(hasEntryPoint allValuesFrom(OOMethod))
                         owl:Thing)

DisjointClasses(Requirement Metric
                            OOSoftwareComponent
                            Test)

Usage

Class Description/Definition (Necessary Conditions)

OOClass, OOMethod

Domain of

hasEntryPoint, lastValidatedAt, requirementEncodedBy
Generated with OWLDoc