- interface checker
-
программа проверки интерфейса
Англо-русский словарь технических терминов. 2005.
interface checker
Смотреть что такое "interface checker" в других словарях:
Spell checker — In computing, a spell checker is an applications program that flags words in a document that may not be spelled correctly. Spell checkers may be stand alone capable of operating on a block of text, or as part of a larger application, such as a… … Wikipedia
Markov Reward Model Checker (MRMC) — An example run of MRMC The Markov Reward Model Checker (MRMC)[1] is a model checker for discrete time and continuous time Markov reward models. It supports reward extensions of PCTL and CSL ( … Wikipedia
Graphics Device Interface — The Graphics Device Interface (GDI) is a Microsoft Windows application programming interface and core operating system component responsible for representing graphical objects and transmitting them to output devices such as monitors and printers … Wikipedia
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Metamath — Developer(s) Norman Megill Written in C Operating system … 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
List of Microsoft Windows components — The following is a list of Microsoft Windows components. Contents 1 Configuration and maintenance 2 User interface 3 Applications and utilities 4 Windows Server components … Wikipedia
Opera 10 — displaying Wikipedia on Windows 7. Developer(s) … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Outlook Express — This article is about the Windows component. For the personal information manager included in the Microsoft Office suite, see Microsoft Outlook. Outlook Express A component of Microsoft Windows Screenshot of Outlook Express in Windows … Wikipedia
BALL — Biochemical Algorithms Library Basisdaten Entwickler BALL project team Aktuelle Version … Deutsch Wikipedia
