Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

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

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

[program specification] точная и полная формулировка определенной задачи или группы задач, содержащая сведения, необходимые для построения ее алгоритма (программы) или решения.

Научные статьи на тему «Спецификация программы, программная спецификация»

OPC-сервер

Определение 1 OPC-сервер — это совокупность программных технологий, которые предоставляют единый...
одного драйвера для всех пакетов SCADA, а у пользователей появилась возможность выбора оборудования и программ...
Стандарт ОРС касается только тех интерфейсов, которые сервер ОРС может предоставить программам клиентов...
Использование ОРС сервера при проектировании заказных программных продуктов может позволить скрыть от...
OPC Commands, то есть, совокупность программных интерфейсов, которая может позволить ОРС клиентам и серверам

Статья от экспертов

Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения

Данная статья обобщает наш опыт разработки инструментальных средств нового поколения, основанных на формальных методах. Целью наших исследований является практическое улучшение процесса разработки программного обеспечения в телекоммуникационном секторе. Мы разрабатываем методику ускоренной разработки программного обеспечения, которая охватывает этапы спецификации, проектирования, тестирования и обратной инженерии. Особенность методики заключается в использовании формальных языков спецификации на ранних этапах разработки и автоматическом восстановлении формальных спецификаций унаследованного телекоммуникационного программного обеспечения. Методика использует наиболее распространенные языки формальных спецификаций, стандартизованные Международным телекоммуникационным союзом (МТС): язык спецификаций и описаний SDL, язык диаграмм взаимодействия MSC, язык описания тестов TTCN и язык описания данных ASN.1. В данной статье подробно рассматриваются следующие ключевые части методики: • ·спец...

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

Программные стандарты и их спецификации

Программные стандарты — это набор правили рекомендаций и спецификаций, которые определяют, как программное...
Общие сведения о программных стандартах Программные стандарты - это набор правил, рекомендаций и спецификаций...
Программные стандарты и их спецификации Программные стандарты являются важным инструментом для улучшения...
В целом, программные стандарты и их спецификации играют важную роль в разработке программного обеспечения...
При выборе программного обеспечения или участии в разработке программы важно учитывать их соответствие

Статья от экспертов

Автоматизация процесса генерации компиляторов мультисинтаксических языков программирования

Разработанная программная система повышает эффективность поиска ошибок в отлаживаемых программах синтаксического анализа на основе существующих спецификаций Flex и BYacc.

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

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

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

оценивается функцией зависимости объема работы, выполняемой алгоритмом, от размера входных данных.

🌟 Рекомендуем тебе

Bytecode

(байт-код) машинно-независимый код, который генерирует Java-компилятор.

🌟 Рекомендуем тебе
Смотреть больше терминов

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

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

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

Перейти в Telegram Bot