ТНСДЛ
TNSDL Обзор TNSDL TNSDL — язык спецификаций и описаний для Nokia Networks. Основан на SDL-88 ITU-T, используется для разработки приложений […]
SPARK (язык программирования) Определение и история SPARK SPARK — это язык программирования, основанный на Ada, предназначенный для разработки высоконадежного ПО.
Прогнозирующее программирование Основы предикативного программирования Предикативное программирование — метод спецификации и уточнения программ. Спецификация представляет собой двоичное выражение, истинное для
Идеальный разработчик Обзор инструмента Perfect Developer (PD) PD предназначен для разработки сложных программных приложений в ИТ-системах и критически важных бортовых
Построение и анализ распределенных процессов Обзор CADP CADP — это инструмент для проверки надежности сложных систем, разработанный в INRIA. CADP
Венский метод разработки Основы VDM-SL VDM-SL — язык спецификации для описания программных систем. Используется для описания систем, которые не могут
Сплав (язык спецификации) Основы языка Alloy Alloy — это декларативный язык для выражения сложных структурных ограничений в ПО. Он основан
Розетта-лэнг Обзор языка Rosetta Rosetta — это язык для проектирования сложных гетерогенных систем. Цели проектирования включают представление ограничений, гетерогенности и
Язык моделирования Java Обзор JML JML — это язык спецификаций для Java, использующий предварительные и постусловия. Спецификации записываются в виде
Язык спецификации и описания Обзор языка SDL SDL — это язык спецификаций для описания поведения реактивных и распределенных систем. Изначально
Язык спецификации свойств Определение и использование PSL PSL — это темпоральная логика, расширяющая LTL для повышения выразительности. Используется в аппаратном
Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на
Алгебраическая семантика (информатика) Основы алгебраической семантики Алгебраическая семантика — форма аксиоматической семантики в информатике. Синтаксис алгебраической спецификации состоит из определения
Семантика действия Основы семантики действий Семантика действий — это формальная спецификация семантики языков программирования. Она сочетает в себе денотационную, операционную
Операционная семантика Определение и история операционной семантики Операционная семантика описывает, как программы интерпретируются и выполняются. Основана на работах Алонзо Чёрча
Денотативная семантика Основы денотационной семантики Денотационная семантика — это математическая теория, описывающая смысл программ. Она отличается от операционной семантики, которая
Универсальный системный язык Обзор Universal Systems Language (USL) USL — язык для системного моделирования и проектирования ПО. Разработан Маргарет Гамильтон,
Формальная спецификация Определение и применение формальных спецификаций Формальные спецификации — это математические методы для разработки и проверки систем и ПО.
Eiffel (язык программирования) Eiffel — объектно-ориентированный язык программирования с акцентом на безопасность и качество кода. Язык поддерживает статическую типизацию, защиту