Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
German
Hebrew
Terms
for subject
Programming
containing
в них
|
all forms
|
exact matches only
|
in specified order only
Russian
English
нуждаться в способе привязки к событиям, о которых идёт речь,
в их
среде выполнения
need a way to hook themselves to the events of interest in their runtime environment
(
ssn
)
Основные свойства императивного языка программирования в значительной степени определяются разработкой способов связывания ячеек памяти с переменными, которые
в них
хранятся. Из этого следует важность чёткого понимания этих связей
the fundamental character of an imperative programming language is in large part determined by the design of the storage bindings for its variables. It is therefore important to have a clear understanding of these bindings
(см.
Concepts of programming languages / Robert W. Sebesta.–10th ed.
2012
)
Поскольку у нас нет ни математического аппарата, ни интеллектуальных возможностей для полноценного моделирования поведения больших дискретных систем, мы должны удовлетвориться приемлемым уровнем уверенности
в их
правильной работе
Since we have neither the mathematical tools nor the intellectual capacity to model the complete behavior of large discrete systems, we must be content with acceptable level of confidence regarding their correctness
(см.
Object-Oriented Analysis and Design with Applications
3rd Edition
by Grady Booch
ssn
)
Предлагавшиеся до сих пор формальные определения вызывали восхищение своей элегантностью и уверенность
в их
точности
the formal definitions put forward so far have inspired wonder at their elegance and confidence in their precision
(см.
Frederic P. Brooks
,
Jr. THE MYTHICAL MAN-MONTH
Essays on Software Engineering
)
разработка способов связывания ячеек памяти с переменными, которые
в них
хранятся
design of the storage bindings for its variables
(
ssn
)
решатель задач выполнимости формул с учётом лежащих
в их
основе теорий
SMT solver
(IBM
Alex_Odeychuk
)
семантика элементов модели фиксируется
в их
спецификациях
the semantics behind modeling elements are captured in their specifications
(
ssn
)
способы связывания ячеек памяти с переменными, которые
в них
хранятся
storage bindings for its variables
(
ssn
)
Get short URL
