| English | Russian |
| A data type is a classification which defines for literals and variables the possible values, the operations that can be done, and the way the values are stored | Тип данных – это классификация, которая определяет возможные значения для литералов и переменных, операции, которые можно выполнять и способ хранения значений (ssn) |
| aggregation: A whole/part relationship where one object is composed of one or more other objects, each of which is considered a part of the whole. This relationship is a weak form of containment in that the lifetimes of the whole and its parts are independent | агрегирование: полное или частичное отношение, в котором один объект состоит из одного или нескольких других объектов, каждый из которых рассматривается как часть целого. это отношение является слабой формой отношения включения, в котором сроки жизни целого и его частей не зависят друг от друга (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch) |
| to avoid name conflicts, which may cause hard-to-find bugs in large programs, it is wise to use some kind of convention that minimizes the chance of conflicts. Possible conventions include capitalizing method names, prefixing data attribute names with a small unique string, or using verbs for methods and nouns for data attributes | чтобы избежать конфликтов имен, которые в больших программах могут привести к тяжело обнаружимым ошибкам, полезно использовать своего рода соглашение, позволяющее минимизировать вероятность конфликтов. Например: называть методы именами, начинающимися с заглавной буквы, добавлять небольшую приставку в начало имен атрибутов данных возможно просто символ подчёркивания или использовать глаголы для методов и существительные для атрибутов данных (см. An Introduction to Python – The Python Tutorial version 3.2 by Guido van Rossum and Fred L. Drake 2011 ssn) |
| continuous iteration: This construct consists of a procedure part and a control part with an implicit condition which specifies that the procedure part will be repeated indefinitely | непрерывная итерация: данный конструктив состоит из процедурной части и управляющей части с неявно заданным условием, которое определяет, что процедурная часть может повторяться неограниченно (см. ISO/IEC 8631:1989 ssn) |
| hidden methods that allow you to register and unregister delegates, which are called when a specific event is raised | скрытые методы, позволяющие регистрировать и отменять регистрацию делегатов, которые вызываются при наступлении определённых событий (ssn) |
| it becomes possible to produce portable code, that is, code which can be generated and compiled to run in a number of different real time environments without changing the userwritten portion of the code | Становится возможным произвести переносимый код, то есть код, который может быть создан и скомпилирован, чтобы функционировать во многих различных средах реального времени без осуществления изменений в пользовательской части кода (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution | для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| testability: The degree to which a requirement is stated in terms that permit establishment of test criteria and performance of tests to determine whether those criteria have been met | тестопригодность: степень, в которой требования формулируются в терминах, позволяющих определить критерии тестирования и провести тестирование с целью проверки выполнения данных критериев (см. IEEE Standard Glossary of Software Engineering Terminology/ IEEE Std. 610.12-1990 ssn) |
| the convention is that when a process reaches the node at the tail of the arrow, it immediately and imperceptibly goes back to the node to which the arrow points | Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
| the improvements in software are characterized by Corbato's law, which states that the number of lines of code is the same, independent of the language used | Усовершенствования программного обеспечения характеризуются Законом Корбато, который гласит, что число строк кода остаётся неизменным независимо от используемого языка (Bob Frankston) |
| this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, – это определение частичного упорядочения событий (ssn) |
| this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, это определение частичного упорядочения событий (ssn) |
| this table lists the discrete states that the application can exist in and shows which state transitions are possible | эта таблица содержит список дискретных состояний, в которых может находиться приложение, а также возможные варианты переходов между состояниями (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
| unit test framework: A tool that provides an environment for unit or component testing in which a component can be tested in isolation or with suitable stubs and drivers. It also provides other support for the developer, such as debugging capabilities | интегрированная среда модульного тестирования: инструмент, предоставляющий окружение для модульного тестирования или компонентного тестирования, в котором компонент может быть протестирован как в изоляции, так и с соответствующими заглушками и драйверами. этот инструмент также предоставляет разработчику возможности отладки (Standard glossary of terms used in Software Testing) |
| we assume that the outside world will deposit a token in the place corresponding to an input symbol and then wait for a token to appear in a place corresponding to an output symbol which will then be removed | мы допускаем, что из внешнего мира помещается фишка в позицию, соответствующую входному символу, а затем фишка, появившаяся в позиции, соответствующей выходному символу, удаляется оттуда |
