formal error
Смотреть что такое "formal error" в других словарях:
formal error — Harmless error. 5 Am J2d A & E § 776 … Ballentine's law dictionary
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
error — er‧ror [ˈerə ǁ ˈerər] noun [countable] 1. a mistake: • The confusion was the result of a computer error. • The company has made some strategic errors. ˈcompensating ˌerror ACCOUNTING a mistake in keeping accounts that is hard to find because it… … Financial and business terms
Error guessing — is a software testing design technique based on the ability of the tester to draw on his past experience, knowledge and intuition to predict where bugs will be found in the software under test.Some areas to guess are: empty or null strings, zero… … Wikipedia
Error — (Del lat. error.) ► sustantivo masculino 1 Concepto, idea, opinión o juicio falso o equivocado. SINÓNIMO desacierto falsedad ANTÓNIMO verdad 2 Acción o conducta desacertada o reprobable: ■ era un error comportarse de esa manera. 3 Falta o… … Enciclopedia Universal
error — er|ror [ erər ] noun *** 1. ) count or uncount a mistake, for example in a calculation or a decision: error in: an error in our calculations make an error: If you make a typing error, you can correct it using one of these keys.… … Usage of the words and phrases in modern English
Error in forma — Ein error in forma (lat. Fehler in der Form) bezeichnet einen Formfehler, einen formal logischen Fehler. Der error in re bezeichnet dagegen den Sachfehler, den Fehler hinsichtlich des Wesens, in Bezug auf den Inhalt. Siehe auch Latein im Recht… … Deutsch Wikipedia
error or mistake — A claim by the taxpayer that there has been an overpayment of tax. A formal claim has to be made within six years against the overassessment to income tax or capital gains tax resulting from an error or mistake in, or omission from, any return or … Accounting dictionary
in error — formal 1) by mistake, not deliberately The computer had been switched off in error. 2) wrong in what you say or have decided He would not admit he had been in error … English dictionary
Standard error (statistics) — For a value that is sampled with an unbiased normally distributed error, the above depicts the proportion of samples that would fall between 0, 1, 2, and 3 standard deviations above and below the actual value. The standard error is the standard… … Wikipedia
User error — A user error is an error made by the human user of a complex system, usually a computer system, in interacting with it. Although the term is sometimes used by Human Computer Interaction practitioners, the more formal human error term is used in… … Wikipedia
