Бе́йсик — семейство высокоуровневых языков программирования.
UML — язык графического описания для объектного моделирования в области разработки программного обеспечения, для моделирования бизнес-процессов, системного проектирования и отображения организационных структур.
Subversion — свободная централизованная система управления версиями, официально выпущенная в 2004 году компанией CollabNet. С 2010 года Subversion является одним из проектов Apache Software Foundation и официально называется Apache Subversion.
OpenGL — спецификация, определяющая платформонезависимый программный интерфейс для написания приложений, использующих двумерную и трёхмерную компьютерную графику. Разрабатывается в США и Европе, имеет тип лицензий GNU-/EU/.
TIFF — формат хранения растровых графических изображений. TIFF стал популярным форматом для хранения изображений с большой глубиной цвета. Он используется при сканировании, отправке факсов, распознавании текста, в полиграфии, широко поддерживается графическими приложениями. TIFF был выбран в качестве основного графического формата операционной системы NeXTSTEP и из неё поддержка этого формата перешла в Mac OS X. Формат был разработан Aldus Corporation в сотрудничестве с Microsoft для использования с PostScript. Компания-владелец спецификаций — Aldus Corporation — впоследствии объединилась с Adobe Systems, владеющей в настоящее время авторским правом на эти спецификации.
Apple II — первый персональный компьютер, серийно выпускавшийся компанией Apple Computer. Apple II стал прямым наследником любительского компьютера Apple I, никогда не производившегося в больших количествах, но уже содержавшего многие идеи, которые обеспечили успех Apple II.
Autodesk 3ds Max — профессиональное программное обеспечение для 3D-моделирования, анимации и визуализации при создании игр и проектировании. В настоящее время разрабатывается и издается компанией Autodesk.
IDEF — методологии семейства ICAM для решения задач моделирования сложных систем, позволяют отображать и анализировать модели деятельности широкого спектра сложных систем в различных разрезах. При этом широта и глубина обследования процессов в системе определяется самим разработчиком, что позволяет не перегружать создаваемую модель излишними данными.
Сеть Петри — математический объект, используемый для моделирования динамических дискретных систем, предложенный Карлом Петри в 1962 году.
Кольца Омрона — графические метки, предназначенные для защиты банкнот от копирования на ксероксах и принтерах. Известны две таких метки, каждая из них — пять колец одинакового размера: их внешний диаметр — 1,2 мм, внутренний диаметр — 0,8 мм. То есть они выглядят как окружности диаметром около миллиметра.
Mathcad — система компьютерной алгебры из класса систем автоматизированного проектирования, ориентированная на подготовку интерактивных документов с вычислениями и визуальным сопровождением, отличается лёгкостью использования и применения для коллективной работы.
-исчисление в теоретической информатике — исчисление процессов, изначально разработанное Робином Милнером, Иоахимом Пэрроу и Дэвидом Уокером как продолжение работы над исчислением общающихся систем. Целью -исчисления является возможность описать параллельные вычисления, конфигурация которых может меняться на протяжении вычисления.
Цветно́й кинемато́граф, цветно́е кино́ — совокупность технологий кинематографа, позволяющая получать в кинофильмах изображение с натуральными цветами, соответствующими цветам снятых объектов или рисунков художников-мультипликаторов. К цветному кино также принято относить колоризованные кинофильмы.
Nokia 6131 — трёхдиапазонный сотовый телефон фирмы Nokia, выполненный в раскладном форм-факторе. Выпущен в феврале 2006 года, в дальнейшем снят с производства.
Стереотипы являются одним из трех типов механизмов расширяемости в унифицированном языке моделирования (UML). Они позволяют проектировщикам расширять словарь UML для создания новых элементов моделирования, получаемых из существующих, но имеющих определенные свойства, которые подходят для конкретной проблемы предметной области или для другого специализированного использования. Термин происходит от первоначального значения слова «стереотип», который используется в книгопечатании. Например, при моделировании сети вам могут понадобиться символы для представления маршрутизаторов и концентраторов. С помощью стереотипных узлов вы можете представлять их в виде примитивных строительных блоков.
Тег, либо тэг — ассоциированное ключевое слово, относящееся к какой-либо информации . Такие метаданные помогают полнее описать эти куски информации и быстро находить их через поисковый запрос. Тэги используются без жёстких правил автором или конечным потребителем.
YAWL — язык на основе XML для формального описания бизнес-процессов. Подразумевает использование специальной платформы, включающей механизм исполнения, графический редактор, а также обработчик рабочего списка. Реализация платформы для YAWL доступна в исходных кодах под лицензией LGPL.
Семанти́ческий механи́зм рассужде́ний, семанти́ческая машина формирования рассуждений или движо́к пра́вил — это часть программного обеспечения, способная вывести логические умозаключения из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга и вероятностные логические сети.
Гордон Рагг — британский академик, руководитель Группы Моделирования Знаний Килского университета, приглашённый старший научный сотрудник Открытого университета, также известный попытками расшифровки манускрипта Войнича.
Алгебраическая сеть Петри — расширение обычных сетей Петри, в котором обычные маркеры заменены на элементы алгебраических типов данных. Этот формализм во многом подобен раскрашенным сетям Петри, однако в случае алгебраических сетей семантика типов данных задаётся системой аксиом, позволяющей осуществлять с её использованием доказательства и вычисления над типами.