- формальная спецификация
- formal specification
Большой англо-русский и русско-английский словарь. 2001.
формальная спецификация
Смотреть что такое "формальная спецификация" в других словарях:
Формальная спецификация — В информатике формальная спецификация это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это… … Википедия
Спецификация — Спецификация (позднелат. specificatio, от лат. species род, вид, разновидность и facio делают) может означать: определение и перечень специфических особенностей, уточнённая классификация чего нибудь; инженерный термин,… … Википедия
ФОРМАЛЬНАЯ ШКОЛА — неофициальное название группы русских литературоведов и лингвистов, объединившихся в конце 1910 х гг. в Петербурге и Москве на общих методологических основаниях и, в сущности, сделавших из литературоведения науку мирового значения, подготовив… … Энциклопедия культурологии
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
UML — (англ. Unified Modeling Language унифицированный язык моделирования) язык графического описания для объектного моделирования в области разработки программного обеспечения. UML является языком широкого профиля, это открытый… … Википедия
формальное описание — формальная спецификация Спецификации, выраженные с помощью формально определенного языка спецификаций. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом… … Справочник технического переводчика
Unified Modeling Language — UML (сокр. от англ. Unified Modeling Language унифицированный язык моделирования) язык графического описания для объектного моделирования в области разработки программного обеспечения. UML является языком широкого профиля, это открытый стандарт … Википедия
Гради Буч — UML (сокр. от англ. Unified Modeling Language унифицированный язык моделирования) язык графического описания для объектного моделирования в области разработки программного обеспечения. UML является языком широкого профиля, это открытый стандарт … Википедия
CSV — У этого термина существуют и другие значения, см. CSV (значения). CSV Comma Separated Values Расширение .csv MIME text/csv Тип формата представление базы данных Стандарт(ы) RFC 4180 CSV (от англ … Википедия
AIML — (Artificial Intelligence Markup Language) язык разметки для искусственного интеллекта. AIML подмножество (диалект) XML, он предназначается для создания виртуальных собеседников. Содержание 1 Разработка 2 Элементы AIML … Википедия
Common Type System — (сокр. CTS, рус. Стандартная система типов) часть .NET Framework, формальная спецификация, определяющая, как какой либо тип (класс, интерфейс, структура, встроенный тип данных) должен быть определён для его правильного выполнения средой .NET.… … Википедия
