Моделирование и верификация архитектуры программного обеспечения разработанного на языке Javaдоклад на конференции