Синхронизация моделей при разработке программного обеспечения