Связь

16 отношения: BLAST (статический анализатор), CHESS (динамический анализатор), Java, Java PathFinder, Message Passing Interface, SPIN (верификатор), Windows API, Комбинаторный взрыв, Открытое программное обеспечение, Си (язык программирования), Система реального времени, Темпоральная логика, Управляемый код, Формальная верификация, Математическая модель, .NET Framework.

BLAST (статический анализатор)

Berkeley Lazy Abstraction Software Verification Tool (BLAST) — программа проверки моделей для языка Си.

Новый!!: Проверка моделей и BLAST (статический анализатор) · Узнать больше »

CHESS (динамический анализатор)

CHESS — программа проверки моделей для поиска ошибок/гейзенбагов в многопоточных программах с помощью систематического перебора всевозможных переключений потоков.

Новый!!: Проверка моделей и CHESS (динамический анализатор) · Узнать больше »

Java

JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.

Новый!!: Проверка моделей и Java · Узнать больше »

Java PathFinder

Java PathFinder (JPF) — свободный инструмент для проверки многопоточных Java программ.

Новый!!: Проверка моделей и Java PathFinder · Узнать больше »

Message Passing Interface

Message Passing Interface (MPI, интерфейс передачи сообщений) — программный интерфейс (API) для передачи информации, который позволяет обмениваться сообщениями между процессами, выполняющими одну задачу.

Новый!!: Проверка моделей и Message Passing Interface · Узнать больше »

SPIN (верификатор)

SPIN (Simple Promela Interpreter) — утилита для верификации корректности распределенных программных моделей.

Новый!!: Проверка моделей и SPIN (верификатор) · Узнать больше »

Windows API

Windows API (application programming interfaces) — общее наименование набора базовых функций интерфейсов программирования приложений операционных систем семейств Microsoft Windows корпорации «Майкрософт».

Новый!!: Проверка моделей и Windows API · Узнать больше »

Комбинаторный взрыв

Комбинаторный взрыв — термин, используемый для описания эффекта резкого («взрывного») роста временной сложности алгоритма при увеличении размера входных данных задачи.

Новый!!: Проверка моделей и Комбинаторный взрыв · Узнать больше »

Открытое программное обеспечение

Открытое программное обеспечение (open-source software) — программное обеспечение с открытым исходным кодом.

Новый!!: Проверка моделей и Открытое программное обеспечение · Узнать больше »

Си (язык программирования)

Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.

Новый!!: Проверка моделей и Си (язык программирования) · Узнать больше »

Система реального времени

Система реального времени (СРВ) — это система, которая должна реагировать на события во внешней по отношению к системе среде или воздействовать на среду в рамках требуемых временных ограничений.

Новый!!: Проверка моделей и Система реального времени · Узнать больше »

Темпоральная логика

Темпоральная логика (temporal logic) — это логика, в высказываниях которой учитывается временной аспект.

Новый!!: Проверка моделей и Темпоральная логика · Узнать больше »

Управляемый код

Управля́емый код (managed code) — термин, введённый фирмой Microsoft, для обозначения кода программы, исполняемой под «управлением» виртуальной машины.NET — Common Language Runtime или Mono.

Новый!!: Проверка моделей и Управляемый код · Узнать больше »

Формальная верификация

Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.

Новый!!: Проверка моделей и Формальная верификация · Узнать больше »

Математическая модель

Математи́ческая моде́ль — математическое представление реальности, один из вариантов модели как системы, исследование которой позволяет получать информацию о некоторой другой системе.

Новый!!: Проверка моделей и Математическая модель · Узнать больше »

.NET Framework

.NET Framework — программная платформа, выпущенная компанией Microsoft в 2002 году.

Новый!!: Проверка моделей и .NET Framework · Узнать больше »

Юнионпедия это понятие карту или семантическая сеть организована как энциклопедия или словарь. Это дает краткое определение каждому понятию и его отношений.

Это гигантский онлайн ментальная карта, которая служит в качестве основы для концептуальных диаграмм или синтетических фотографий. Это бесплатно в использовании и каждый элемент или документ может быть загружен. Это инструмент, ресурс или ссылка для изучения, исследования, образование, обучение, учителя могут использовать, учителей, профессоров, преподавателей, учеников или студентов; или школа для академического мира, в школу, начальное, среднее, средней, колледж, технической степени, университет, студентов, магистров или докторские степени; для бумаг, отчетов, документов, проектов, идей, документации, резюме, обследований или диссертации. Вот определение, объяснение, описание, или смысл каждого значительным, на котором вам нужна информация, а также список или перечень соответствующих концепций, как кажется глоссарий. Доступна на русский, английский, испанский, португальский, японский, китайский, французский, немецкий, итальянский, польский, нидерландский, арабский, хинди, шведский, украинский, венгерский, каталанский, чешский, иврит, датский, финский, индонезийский, Норвежский, румынский, турецкий, вьетнамский, корейский, тайский, греческий, болгарский, хорватский, словацкий, литовский, филиппинский, латышский, эстонский и словенский. Другие языки в ближайшее время.

Вся информация была извлечена из Википедия, и это доступно в соответствии с лицензией Creative Commons Attribution-ShareAlike.

Юнионпедия не одобрена Фондом Викимедиа и не связана с ним.

Google Play, Android и логотип Google Play являются товарными знаками корпорации Google Inc.

Политика конфиденциальности

ИсходящиеВходящий