- static check
-
статический контроль
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Static testing — is a form of software testing where the software isn t actually used. This is in contrast to dynamic testing. It is generally not detailed testing, but checks mainly for the sanity of the code, algorithm, or document. It is primarily syntax… … Wikipedia
Static Shock — For shocks from static electricity, see Electrostatics and Triboelectric effect. Static Shock logo of the show Format Animated series Created by … Wikipedia
Check weigher — Example checkweigher. Product passes on the conveyor belt where it is weighed A checkweigher is an automatic machine for checking the weight of packaged commodities. It is normally found at the offgoing end of a production process and is used to… … Wikipedia
static pressure — A certain amount of pressure that always exists in the brake lines even with the brake pedal released. Static pressure is maintained by a check valve … Dictionary of automotive terms
List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… … Wikipedia
A League of Their Own (Static Shock) — Infobox Television episode Title =A League of Their Own Series = Static Shock Caption =Martian Manhunter, Static, and Gear Season = 3 Episode = 30 31 Airdate =Part 1: 2003 03 01 Part 2: 2003 03 08 Production =Part 1: 34 Part 2:35 Writer =Part 1:… … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Switch-technology — is a technology for automata based programming support. It was proposed by Anatoly Shalyto in 1991. It involves software specification, design, implementation, debugging, documentation and maintenance. The term “automata based programming” is… … Wikipedia
Double-checked locking — In software engineering, double checked locking (also known as double checked locking optimization[1] .) is a software design pattern used to reduce the overhead of acquiring a lock by first testing the locking criterion (the lock hint ) without… … Wikipedia
Comparison of relational database management systems — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
C++11 — C++11, also formerly known as C++0x,[1] is the name of the most recent iteration of the C++ programming language, replacing C++TR1, approved by the ISO as of 12 August 2011.[2] The name is derived from the tradition of naming language versions by … Wikipedia