Теория ROSS

В основе архитектуры ROSS лежит лаконичная аксиоматика, сформированная из 3-х утверждений. Для удобства аксиомы ROSS сопровождаются набором лемм, которые в сочетании с аксиомами позволяют формировать теоремы разной степени сложности. Теоремы уже имеют непосредственную практическую ценность, поскольку облегчают проектирование.