| English | Russian |
| a type is a collection of objects characterized by functions, axioms and preconditions | тип это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| a type is a collection of objects characterized by functions, axioms and preconditions | тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| an object value designated by a value of an access type | значение объекта, указываемое значением ссылочного типа (ssn) |
| an object's type is defined by its interface. an object's implementation is defined by its class | Тип объекта определяется его интерфейсом, а реализация-классом (см. Designing Concurrent, Distributed, and Real-Time Applications with UML by Hassan Gomaa ssn) |
| an XML Schema Definition type that provides information about the structure of part of an event. A single event definition can have different event parts that are defined by different XML schemas | Тип "Определение схемы XML", предоставляющий информацию о структуре части события. У одного и того же определения события могут быть разные части события, определяемые разными схемами XML (см. event part ssn) |
| as announced, these operations will be the prime component of the type definition – describing its instances not by what they are but by what they have to offer | как уже говорилось, эти операции будут главными компонентами определения типа, с их помощью описывается, что могут предложить его экземпляры, а не то, чем они являются (см. Object-Oriented Software Construction second edition by Bertrand Meyer) |
| as announced, these operations will be the prime component of the type definition describing its instances not by what they are but by what they have to offer | как уже говорилось, эти операции будут главными компонентами определения типа, с их помощью описывается, что могут предложить его экземпляры, а не то, чем они являются (см. Object-Oriented Software Construction second edition by Bertrand Meyer) |
| binding by type | привязка по типу (ssn) |
| by virtue of being an optional type | в силу принадлежности к опциональному типу (корпорации Apple Alex_Odeychuk) |
| by-reference type | тип с передачей по ссылке (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk) |
| data type conversions which are supported by implicit type conversion | преобразования типов данных, поддерживаемые неявным преобразованием типов данных (ssn) |
| data type of the value to be returned by the function | тип данных значения, возвращаемого функцией (ssn) |
| Function block instance list specification. This defines a list of component function block instances required within a composite function block. Each function block instance name is given, followed by its function block type name | Спецификация списка экземпляров функциональных блоков. Эта спецификация определяет список экземпляров составных функциональных блоков, требуемых внутри композиционного функционального блока. Каждому экземпляру функционального блока назначается имя, сопровождаемое именем его типа функционального блока (см. Robert W. Lewis: Modelling control systems using IEC 61499. Applying function blocks to distributed systems ssn) |
| generic, or type-independent, programming, as provided by templates and the Standard Template Library | обобщённое или не зависящее от типов программирование, обеспечиваемое шаблонами и стандартной библиотекой шаблонов (ssn) |
| inheritance of aspect specifications by a derived type | наследование спецификаций аспектов производным типом (Alex_Odeychuk) |
| injection by type | внедрение зависимостей на основе типов (Alex_Odeychuk) |
| maximum increase or decrease for a given time interval, which is defined by TIMEBASE of the type TIME | максимальное нарастание и спад за интервал, заданный TIMEBASE типа TIME (ssn) |
| object type defined by a metamodel | тип объекта, определённый в метамодели (ssn) |
| pointer type defined by the implementation | тип указателей, определённый реализацией (ssn) |
| provided by a type provider | предоставленный поставщиком типов (Alex_Odeychuk) |
| simple name declared by a type declaration | простое имя, стоящее в объявлении типа (ssn) |
| subtype defined by the subtype of the access type definition | подтип, определяемый подтипом, используемым в описании ссылочного типа (ssn) |
| the constructed type formed by specifying type arguments | конкретный сконструированный тип, образованный в результате подстановки аргументов типа в определение обобщённого типа (Alex_Odeychuk) |
| the simple name declared by a type declaration denotes the declared type, unless the type declaration declares both a base type and a subtype of the base type | Простое имя, стоящее в объявлении типа, обозначает описываемый тип при условии, что это объявление не описывает одновременно базовый тип и подтип этого базового типа (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| the type of the object created by an allocator is the base type of the type mark given in either the subtype indication or the qualified expression | Типом объекта, создаваемого генератором, является базовый тип обозначения типа, заданного либо в указании подтипа, либо в квалифицированном выражении (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| the types created by the elaboration of distinct type definitions are distinct types | Типы, получаемые предвыполнением отдельных описаний типа, являются различными типами (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
| there is a mismatch between the type of object required by the requested operation and the type of object that is specified in the request | тип объекта, требуемый для запрошенной операции, не соответствует типу объекта, указанному в запросе (ssn) |
| this type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock | Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| this type of model is often used for modelling real-time systems because these systems are often driven by stimuli from the system's environment | этот тип модели особенно полезен для моделирования систем реального времени, поскольку этими системами обычно управляют входные сигналы, приходящие из окружения системы (см. Software engineering, 8th ed. / Ian Sommerville 2007) |
| type actually stored by the implementation | тип, фактически хранимый реализацией (ssn) |
| type of object required by the requested operation | тип объекта, требуемый для запрошенной операции (ssn) |
| type of the access value returned by an allocator | тип ссылочного значения, возвращаемого генератором (ssn) |
| type of the object created by an allocator | тип объекта, создаваемого генератором (ssn) |
| type of the value to be returned by the function | тип значения, возвращаемого функцией (ssn) |
| type referenced by the module | тип, на который ссылается модуль (из кн.: Рихтер Дж. CLR via C#. – 4-е изд. – СПб.: Питер, 2013 Alex_Odeychuk) |
| types created by the elaboration of distinct type definitions | типы, получаемые предвыполнением отдельных описаний типа (ssn) |
