Ассемблирование
компиляция программ с языка ассемблера.
Спецификация программы
Предмет
Программирование
👍 Проверено
Автор24
формализованное представление требований, предъявляемых к программе, которые должны быть удовлетворены при ее разработке, а также описание задачи, условия и эффекта действии без указания способа его достижения.
Научные статьи на тему «Спецификация программы»
Учет производства в 1С
материалов, а приобретенные товары требуется отразить в программе 1С с помощью документа «Поступление...
Для перехода к спецификациям номенклатуры используйте карточки в справочнике....
Замечание 1
По умолчанию первую созданную спецификацию программа автоматически устанавливает как...
При проведении документа программа автоматически подставит счет затрат....
Счет затрат программа проставляет по умолчанию 20.01.
Статья от экспертов
Формальные спецификации в технологиях обратной инженерии и верификации программ
KVEST (Kernel Verification and Specification Technology) технология спецификации и верификации программного обеспечения, основанная на автоматизированной генерации тестов из формальных спецификаций. Эта технология была разработана в рамках контракта с Nortel Networks и базируется на опыте, полученном в результате академических исследований. К 1999 году методология и набор инструментов применялись в трех индустриальных проектах верификации телекоммуникационного ПО. Первый проект, The Kernel Verification project, дал название методологии и набору инструментов. Результаты этого проекта присутствуют в Formal Method Europe Application database [28]. Это одно из крупнейших приложений формальных методов, присутствующих в базе данных. Данная статья содержит краткое описание подхода, сравнение со сходными работами и перспективы развития.
Creative Commons
Научный журнал
OPC-сервер
коррективы в весь набор драйверов, каждый из которых служил для поддержки протокола обмена лишь с одной программой...
одного драйвера для всех пакетов SCADA, а у пользователей появилась возможность выбора оборудования и программ...
Стандарт ОРС касается только тех интерфейсов, которые сервер ОРС может предоставить программам клиентов...
обеспечения взаимодействия с техническими устройствами может использоваться при проектировании определенных программ...
OPC Alarms & Events (A&E), то есть, спецификацию для уведомления клиента о событиях и сигналах
Статья от экспертов
Автоматическая генерация программ для графических процессоров по непроцедурным спецификациям
Рассмотрены методы и средства автоматического построения параллельных программ для графических процессоров по непроцедурной спецификации задачи, заданной на языке Норма. Приводятся алгоритмы автоматического построения программ для графических процессоров, основанные на анализе зависимостей и выявлении внутреннего параллелизма графа потока управления, полученного по программе на языке Норма. Приведены результаты применения описанных алгоритмов для создания расчетной программы с использованием технологии CUDA при решении задачи из области газодинамики и оценена производительность получающихся параллельных программ.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Внешние символы (external symbol)
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
Старшинство (приоритеты) операций
задает очередность выполнения операций, указанных в выражении.
- Спецификация программы, программная спецификация
- Спецификация
- Языки спецификаций
- Фактура-спецификация
- Спецификация файла
- Язык спецификаций
- Отгрузочная спецификация
- Счет-спецификация
- Спецификация работы
- Очет-спецификация
- Спецификация рабочего места
- Программа
- Социальные программы
- Офис программы
- Программа проектов
- Программа атласа
- Программа карты
- Прикладная программа
- Сервисная программа
- Учебная программа
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
