Class: sec:Requirement

A requirement for a software system.

•owl:Thing

•sec:Requirement

Super Classes

sec:requirementEncodedBy ONLY sec:OOClass

sec:hasEntryPoint ONLY sec:OOMethod

owl:Thing

Disjoint Classes

sec:Metric, sec:OOSoftwareComponent, sec:Test

Individuals

Req1001, Req1002

Abstract Syntax

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

DisjointClasses(sec:Requirement sec:Metric
                                sec:OOSoftwareComponent
                                sec:Test)

Usage

Class Description/Definition (Necessary Conditions)

sec:OOClass, sec:OOMethod

Domain of

sec:hasEntryPoint, sec:lastValidatedAt, sec:requirementEncodedBy

Generated with OWLDoc