English | Russian |
an object declaration is called a multiple object declaration if its identifier list has two or more identifiers | Объявление объекта называется множественным объявлением объекта, если стоящий в нём список идентификаторов содержит два или более идентификаторов (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton | если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
there are two kinds of execution-based testing: testing to specs black-box testing and testing to code whitebox testing. Both kinds use the same strategy of feeding the program with input data and observing if the output is as expected | Имеются два вида тестирования, основанного на выполнении программы: тестирование на основе технических требований тестирование методом чёрного ящика и тестирование по исходным текстам тестирование методом белого ящика. Оба вида используют ту же самую стратегию задания программе входных данных и наблюдения, тот ли выходной результат получается, который ожидался (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
Two array types may be closely related even if corresponding index positions have different directions | Два индексируемых типа могут быть родственными, даже если соответствующие позиции индексов имеют разные направления (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
Two type definitions always define two distinct types, even if they are textually identical | Два объявления типа всегда описывают два различных типа, даже если оба они текстуально идентичны (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |