-
1 postcondition
-
2 postcondition
postcondition вчт. постусловие -
3 postcondition
постусловие, выходное условие( условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition) ;
является частью контракта (contract)) постусловие;
выходное условие postcondition вчт. постусловиеБольшой англо-русский и русско-английский словарь > postcondition
-
4 postcondition
постусловие
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > postcondition
-
5 postcondition
[͵pəʋstkənʹdıʃ(ə)n] nпостусловие; выходное условие -
6 postcondition
постусловие, выходное условие -
7 postcondition
-
8 postcondition
nпостумова; вихідна умова -
9 postcondition
nпостумова; вихідна умова -
10 postcondition
выходное условие, пост-условиеEnglish-Russian dictionary of mechanical engineering and automation > postcondition
-
11 postcondition
постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition); является частью контракта (contract))English-Russian dictionary of computer science and programming > postcondition
-
12 postcondition
Англо-русский словарь нефтегазовой промышленности > postcondition
-
13 postcondition
• pauslov -
14 postcondition
-
15 postcondition
postconditie -
16 postcondition
warunek autoryzowania -
17 postcondition
warunek autoryzowaniaEnglish-Polish dictionary of Electronics and Computer Science > postcondition
-
18 postcondition
-
19 postcondition
= post-condition1) в программировании - условие, выполнение которого должно гарантироваться при возврате из процедуры (метода в ООП) в вызывающую программу, если при входе в неё выполнялось предусловие.A description of post-conditions that describe any side effects of invoking the method. — Описание постусловий, поясняющих любые побочные эффекты исполнения данного метода
Ant:2) в тестировании - условия (состояние программной и/или аппаратной среды), которые должны быть (иметь место быть) после выполнения теста испытуемого программного модуля или системыАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > postcondition
-
20 postcondition
English-Russian dictionary of terms that are used in computer games > postcondition
- 1
- 2
См. также в других словарях:
Postcondition — In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions… … Wikipedia
postcondition — posąlygis statusas T sritis informatika apibrėžtis ↑Loginis reiškinys, parašytas po kurio nors programos ↑sakinio (sakinių grupės), kurio reikšmė turi būti ↑tiesa atlikus tą sakinį (sakinių grupę). atitikmenys: angl. postcondition ryšiai: dar… … Enciklopedinis kompiuterijos žodynas
postcondition — noun A condition that must be met immediately after execution of some piece of code … Wiktionary
postcondition — ● n. f. ►PROG assertion placée dans le code source de sorte qu elle soit évaluée juste avant un point de sortie de fonction [NM] … Dictionnaire d'informatique francophone
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
Monitor (synchronization) — In concurrent programming, a monitor is an object or module intended to be used safely by more than one thread. The defining characteristic of a monitor is that its methods are executed with mutual exclusion. That is, at each point in time, at… … Wikipedia
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
Programmation par contrat — La programmation par contrat est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles. Ces règles, appelées des assertions, forment un contrat qui précise les responsabilités entre le client et le… … Wikipédia en Français
Design by contract — (DbC) or Programming by Contract is an approach to designing computer software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary… … Wikipedia
Assertion (computing) — In computer programming, an assertion is a predicate (i.e., a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. For example, the following code contains two assertions … Wikipedia
Precondition — In logic a precondition is a condition that has to be met before a main argument can have any value. In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code… … Wikipedia