Спецификация программы

Предмет Программирование

👍 Проверено Автор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

Научный журнал

Еще термины по предмету «Программирование»

Веб-сервис, веб-служба

(web service) вид программного обеспечения, предоставляющего свою функциональность клиентам на уровне программных интерфейсов, построенных на базе HTTP протокола.

Символьный (литерный) тип

значениями этого типа являются элементы набора литер, определяемого реализацией языка.

Целые константы

содержат только цифры.

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot