Современные методы описания функциональных требований к системам коберн алистер