| Russian | English |
| Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени | an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Никто не ожидает, что мост будет перемещён на десять метров после того, как он был построен. Точно так же не следует ожидать, что программный продукт успешно выполнит различные задачи после того, как будет создан. Если это то, что нам нужно, тогда программное обеспечение создано удачно | nobody expects a bridge to be moved by ten meters after it has been built. Similarly, nobody should expect a software product to happily perform different tasks after it has been built. If this is what is expected then the software has not failed (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| это означает, что если величина сдвига лежит в диапазоне от 32 до 63 или от –32 до –1, то в результате сдвига получится слово, состоящее из одних нулевых битов | that is, a shift amount in the range 32 to 63 or –32 to –1 results in an all-0 word (ssn) |
| это означает, что если величина сдвига лежит в диапазоне от 32 до 63 или от 32 до 1, то в результате сдвига получится слово, состоящее из одних нулевых битов | that is, a shift amount in the range 32 to 63 or 32 to 1 results in an all-0 word (ssn) |
