![]() |
Russian | English |
для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость | To test the effect of this change, the model can be analyzed again in order to check schedulability (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
подвергнуться крупному перепроектированию | have undergone a major overhaul (говоря о коде приложения, каркаса разработки приложений, платформы Alex_Odeychuk) |