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