постусловия
Смотреть что такое "постусловия" в других словарях:
постусловия — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN tail conditions … Справочник технического переводчика
Контрактное программирование — (design by contract (DbC), programming by contract, contract based programming) это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации… … Википедия
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
STRIPS — Эта статья о системах автоматического планирования, которое является подразделом Искусственного интеллекта STRIPS (Stanford Research Institute Problem Solver) это автоматический планировщик, разработанный Ричардом Файксом и Нильсом Нилсоном … Википедия
Принцип подстановки Барбары Лисков — (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и… … Википедия
Spec Sharp — Эта статья или раздел грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой переводчиком или сделан человеком со слабыми познаниями в языке оригинала. Вы можете помочь … Википедия
Принцип подстановки Лисков — Принцип подстановки Барбары Лисков (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе… … Википедия
логика в компьютерных науках — ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… … Энциклопедия эпистемологии и философии науки
СЕТЬ ПЕТРИ — математическая модель дискретных систем с параллельно функционирующими и асинхронно взаимодействующими компонентами. Предложена немецким ученым К. Петри в начале 60 хгг. Графически С. П. представляет собой двухдольный ориентированный мультиграф с … Энциклопедический словарь по психологии и педагогике
