| English | Russian |
| A solution is said to be efficient if it solves the problem within its resource constraints | Решение называется эффективным, если оно решает задачу в рамках её ограничений по ресурсам (С. А. Shaffer ssn) |
| if a higher-priority process requests execution, it has to wait until the running process finishes | если более высокоприоритетный процесс обращается с запросом на выполнение, он должен дождаться завершения текущего процесса (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| if code had no conditionals, loops, or any other control flow statements, it would be very easy to read | если в коде нет условных конструкций, циклов или других элементов, управляющих порядком выполнения программы, то читать его будет очень легко (см. "The Art of Readable Code" by Dustin Boswell, Trevor Foucher 2012 ssn) |
| if you need to connect a document that you don't have yet, you can create and insert it directly into the object's document survey, which then makes the connection | если необходимо связать документ, который вы ещё не имеете, можно создать и вставить его непосредственно в обзор документов объекта, тогда делающий соединение |
| if you want to put it into real life concepts, your personal watch is a clock source | если хотите аналогию из повседневной жизни, то ваши личные часы являются источником времени (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| it is an error if a constant declaration declares a constant that is of a file type or an access type | Считается ошибкой, если объявление константы описывает константу файлового или ссылочного типа (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| it is an error if a signal declaration declares a signal that is of a file type or an access type | Считается ошибкой, если объявление сигнала описывает сигнал файлового или ссылочного типа (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual 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) |
| Real programmers don't document. If it was hard to write, it should be hard to understand | настоящий программист не документирует программу – если её было тяжело написать, то и понять её должно быть нелегко (шутка) |
| Real programmers don't document. If it was hard to write, it should be hard to understand | настоящий программист не документирует программу если её было тяжело написать, то и понять её должно быть нелегко (шутка) |
| Speculative generality can be spotted when the only users of a method or class are test cases. If you find such a method or class, delete it and the test case that exercises it. If you have a method or class that is a helper for a test case that exercises legitimate functionality, you have to leave it in, of course | Теоретическая общность может быть обнаружена, когда единственными пользователями метода или класса являются контрольные примеры. Найдя такой метод или класс, удалите его и контрольный пример, его проверяющий. Если есть вспомогательный метод или класс для контрольного примера, осуществляющий разумные функции, его, конечно, надо оставить (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |
| Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not | Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
