JavaScript — мультипарадигменный язык программирования. Поддерживает объектно-ориентированный, императивный и функциональный стили. Является реализацией спецификации ECMAScript.
Scheme [] — функциональный язык программирования, один из трёх наиболее популярных диалектов Лиспа. Создан в середине 1970-х годов исследователями Массачусетского технологического института Гаем Стилом и Джеральдом Сассменом.
Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
ZIP — формат архивации файлов и сжатия данных без потерь. Архив ZIP может содержать один или несколько файлов и каталогов, которые могут быть сжаты разными алгоритмами. Наиболее часто в ZIP используется алгоритм сжатия Deflate. Формат был создан в 1989 году Филом Кацем и реализован в программе PKZIP компании PKWARE в качестве замены формату архивов ARC Тома Хендерсона. Формат ZIP поддерживается множеством программ, в том числе операционными системами Microsoft Windows и Apple macOS. Многие свободные операционные системы также имеют встроенную поддержку ZIP-архивов.
Сэр Чарльз Э́нтони Ри́чард Хо́ар — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.
Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, без явного упоминания порядка выполняемых действий и использования конкретных значений данных.
ECMAScript — встраиваемый расширяемый не имеющий средств ввода-вывода язык программирования, используемый в качестве основы для построения других скриптовых языков.
SCORM — сборник спецификаций и стандартов, разработанный для систем дистанционного обучения. Содержит требования к организации учебного материала и всей системе дистанционного обучения. SCORM позволяет обеспечить совместимость компонентов и возможность их многократного использования: учебный материал представлен отдельными небольшими блоками, которые могут включаться в разные учебные курсы и использоваться системой дистанционного обучения независимо от того, кем, где и с помощью каких средств они были созданы. SCORM основан на стандарте XML.
IOR — в распределенном программном обеспечении ссылка на объект технологий CORBA или RMI-IIOP.
В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. Использование формальных методов для проектирования программного и аппаратного обеспечения обусловлено ожиданиями того, что, как и в других инженерных областях, использование математического анализа может существенно поднять надёжность систем. При этом формальные методы довольно сложны, требуют специальной подготовки, временных и ресурсных вложений, и при этом нередко основываются на не всегда достижимых в реальных условиях предположениях. Это приводит к тому, что формальные методы чаще всего находят применение в проектировании высокоточных систем, где важность безопасности оправдывает любые средства.
Мета-объектное средство — это стандарт для разработки, управляемой моделями, разработанный OMG.
Джонатан Боуэн ранее работал ведущим исследователем в вычислительной лаборатории Оксфордского университета. Начиная с 1977 года, он работал в области компьютинга как в академических учреждениях, так и в промышленности. Область его профессиональных интересов включает формальные методы, Z-символику, вероятностно-корректные системы, быстрое макетирование с использованием логического программирования, декомпиляцию, аппаратную компиляцию, системы с повышенной безопасностью, совместное проектирование аппаратного и программного обеспечения, интерактивные музеи. Дж. Боуэн закончил Оксфордский университет, где получил степень магистра в области инженерных наук. В 1994 году Боуэн получил премию Чарльза Бэббиджа, в настоящее время председатель рабочей группы ESPRIT ProCoS-WG Working Group, состоящей из 24 европейских партнеров. Он председатель группы пользователей Z-символики, а также член компьютерного сообщества IEEE Computer Society, ACM и EUROMICRO.
ObjectDatabase++ (ODBPP) — это встраиваемая объектно-ориентированная база данных, предназначенная для серверных приложений, которые требуют минимального внешнего обслуживания. Она написана на C++ и использует ISAM с возможностью автоматического восстановления системы после сбоев при условии сохранения целостности базы данных. Особенности ODBPP: полный мультипроцессный и многопоточный контроль транзакций, автоматическое восстановление базы данных в режиме реального времени, иерархическая структура данных, простой код, многочисленные поддерживаемые методы индексации.
TLA+ — язык спецификаций, основанный на теории множеств, логике первого порядка и темпоральной логике действий (англ. TLA, temporal logic of actions). Разработан Лесли Лэмпортом, исследователем теории распределённых систем.
Estelle — метод формального описания распределённых систем, коммуникационных протоколов, основанный на расширенной конечно-автоматной модели. Разработан и стандартизован ISO для описания протоколов модели OSI. Раздельно определяет как общую архитектуру распределённой системы, так и поведение отдельных компонентов. Использует синтаксис стандартного языка Паскаль.
LOTOS — стандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: язык описания абстрактных типов данных ACT ONE и язык описания поведения в виде алгебры процессов.
Формальная верификация криптографических протоколов — проверка криптографических протоколов на обеспечение требуемых свойств безопасности. Одной из составляющих такой проверки является определение стойкости протокола к атакам в предположении о надёжности криптографических примитивов, на которых он основывается. Для решения этой задачи разработан ряд подходов, основанных на различных формальных методах верификации. Общей чертой формальных методов является использование системного подхода к проблеме, позволяющего выполнять более обоснованную, точную и эффективную проверку свойств безопасности протокола.
Futurebus — стандарт магистрально-модульной шины, разработанный под эгидой IEEE и призванный обеспечить передачу данных как между всеми компонентами компьютера, включая процессор, оперативную память и карты расширения, так и по соединениям локальной сети. Комплект стандартов, связанных с Futurebus, также, определял элементы крейтовой системы, алгоритмы обеспечения когерентности кэшей и иные аспекты работы компьютерных систем. Этот проект был начат в 1979 году и длился до 1987 года, закончившись принятием первой версии стандарта и немедленным началом работы над его редизайном. Переделка стандарта продолжалась до 1994 года, после чего ещё некоторое время выпускались различные дополнения. К этому моменту отрасль, в основном, начала использовать иные технологии и поддержка Futurebus не давала серьёзного преимущества производителям. Тем не менее, поддержка стандарта отдельными производителями фрагментарно продолжается и до настоящего времени.
OCR-B — моноширинный шрифт, созданный Адрианом Фрутигером в 1968 году для компании Monotype в соответствии со стандартом ECMA. Его функцией было облегчить оптическое распознавание текста для определённых устройств, в основном использовавшихся в финансовой сфере. В 1973 был утверждён как международный стандарт. Он соответствует стандарту ISO 1073-2:1976 (E), дополненному в 1979 году. Шрифт включает в себя все символы ASCII и некоторые другие, используемые банками. Часто используется для человекочитаемых подписей к штрихкодам UPC и EAN. и в машиночитаемых зонах документов. Повторяя цели OCR-A, OCR-B более удобочитаем для человека и имеет менее технический вид.
Графическая нотация — это представление музыки с помощью визуальных символов, выходящих за рамки традиционной нотной записи. Графическая нотация стала популярной в 1950-х годах, и её можно использовать как в сочетании с традиционной нотацией, так и вместо неё. Стилистические компоненты графической партитуры зачастую находятся под влиянием современных тенденций изобразительного искусства. Часто такой вид нотации можно встретить в экспериментальной музыке, где стандартная нотная запись иногда не может в полной мере выразить замысел композитора. Она также используется в произведениях, в которых желательно добиться алеаторического эффекта. Одним из родоначальников этой техники явился Эрл Браун, который вместе с Джоном Кейджем стремился освободить исполнителей от ограничений традиционной нотной записи и сделать их активными участниками процесса создания музыки.
