- спецификация программы
-
program specification
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
спецификация программы — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f … Automatikos terminų žodynas
Спецификация программы — 49. Спецификация программы Specification Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения … Словарь-справочник терминов нормативно-технической документации
спецификация — 3.7.3 спецификация (specification): Документ (3.7.2), устанавливающий требования (3.1.2). Примечание Спецификации могут относиться к деятельности (например, процедурный документ, спецификация на процесс или спецификация на испытание) или… … Словарь-справочник терминов нормативно-технической документации
Спецификация программного обеспечения — Спецификация требований программного обеспечения (англ. Software Requirements Specification, SRS) законченное описание поведения программы, которую требуется разработать. Включает ряд пользовательских сценариев (англ. use… … Википедия
Функциональная спецификация — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
Формальная спецификация — В информатике формальная спецификация это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это… … Википедия
РД ЭО 1.1.2.25.0705-2006: Техническое обслуживание и ремонт систем и оборудования атомных станций. Документы программы и регламента. Виды и комплектность. Требования к содержанию и оформлению — Терминология РД ЭО 1.1.2.25.0705 2006: Техническое обслуживание и ремонт систем и оборудования атомных станций. Документы программы и регламента. Виды и комплектность. Требования к содержанию и оформлению: 7.6.1 ВД применяются в комплектах… … Словарь-справочник терминов нормативно-технической документации
ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… … Словарь-справочник терминов нормативно-технической документации
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
Programmbeschreibung — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f … Automatikos terminų žodynas
Programmkenndaten — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f … Automatikos terminų žodynas