Class: SourceCodeAnalysis

•owl:Thing
        •Asset
                •Countermeasure
                        •SourceCodeAnalysis
        •Countermeasure
                •SourceCodeAnalysis

Super Classes

protects ONLY (_Detection AND _ProgramSourceCodeFile AND _Correctness)
employedAt HAS AtWriteTime
protects SOME _Detection
protects SOME _ProgramSourceCodeFile
Countermeasure
protects SOME _Correctness

Annotations

dc:descriptionAka static code analysis Tools that statically analyse source or object code for problems, flag suspicious constructs in software (adapted from Wikipedia)

Abstract Syntax

Class(SourceCodeAnalysis partial restriction(protects allValuesFrom(intersectionOf(_Detection
                                                                                  _ProgramSourceCodeFile
                                                                                  _Correctness)))
                                restriction(employedAt value(AtWriteTime))
                                restriction(protects someValuesFrom(_Detection))
                                restriction(protects someValuesFrom(_ProgramSourceCodeFile))
                                Countermeasure
                                restriction(protects someValuesFrom(_Correctness)))
Generated with OWLDoc