Более быстрый доступ, чем браузер!
57 отношения: Active Oberon, C Sharp, C++, Clojure, CLOS, Common Lisp, CPAN, D (язык программирования), Delphi (язык программирования), Digital Mars, Eiffel, Fortress, Google (компания), Java, JavaScript, Lisaac, Nemerle, Oxygene (язык программирования), Perl, PHP, Python, Racket (язык программирования), Ruby, Scala (язык программирования), Scheme, Spring Framework, Zonnon, Компонентный паскаль, Программное обеспечение, Побочный эффект (программирование), Повторное использование кода, Объектно-ориентированное программирование, Обработка исключений, Оберон (операционная система), Оберон-2 (язык программирования), Абстрактный тип данных, Ада (язык программирования), Наследование (программирование), Статический анализ кода, Си (язык программирования), Тестирование на основе модели, Формальные методы, Формальная спецификация, Формальная верификация, Язык программирования, Модульное тестирование, Модула-2, Модула-3, Мейер, Бертран, Интеграционное тестирование, ..., Временная сложность алгоритма, Динамическое связывание, Договор, Документация на программное обеспечение, Лисп, Логика Хоара, .NET Framework. Развернуть индекс (7 больше) »
Active Oberon
Active Oberon — типобезопасный модульный объектно-ориентированный многопоточный язык программирования общего назначения, разработанный в 1996 — 1997 гг.
Новый!!: Контрактное программирование и Active Oberon · Узнать больше »
C Sharp
C# (произносится си шарп) — объектно-ориентированный язык программирования.
Новый!!: Контрактное программирование и C Sharp · Узнать больше »
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Новый!!: Контрактное программирование и C++ · Узнать больше »
Clojure
Clojure (произносится как closure) — современный диалект Лиспа, язык программирования общего назначения с поддержкой разработки в интерактивном режиме, поощряющий функциональное программирование и упрощающий поддержку многопоточности.
Новый!!: Контрактное программирование и Clojure · Узнать больше »
CLOS
CLOS (Common Lisp Object System — «объектная система Common Lisp’а») — система объектно-ориентированного программирования, являющаяся частью Common Lisp — стандарта языка Лисп.
Новый!!: Контрактное программирование и CLOS · Узнать больше »
Common Lisp
Common Lisp (сокращённо — CL) — диалект языка программирования Лисп, стандартизированный ANSI.
Новый!!: Контрактное программирование и Common Lisp · Узнать больше »
CPAN
CPAN (аббр. от Comprehensive Perl Archive Network — «всеобъемлющая сеть архивов Perl») — архив документации и программного обеспечения, написанного на языке программирования Perl.
Новый!!: Контрактное программирование и CPAN · Узнать больше »
D (язык программирования)
D (Ди) — мультипарадигмальный компилируемый язык программирования, созданный Уолтером Брайтом из компании Digital Mars.
Новый!!: Контрактное программирование и D (язык программирования) · Узнать больше »
Delphi (язык программирования)
Delphi (Де́лфи, произносится) — императивный структурированный объектно-ориентированный язык программирования со строгой статической типизацией переменных.
Новый!!: Контрактное программирование и Delphi (язык программирования) · Узнать больше »
Digital Mars
Digital Mars — небольшая американская компания, которой владеет Уолтер Брайт.
Новый!!: Контрактное программирование и Digital Mars · Узнать больше »
Eiffel
Eiffel (Эйфель) — объектно-ориентированный язык программирования с алголоподобным синтаксисом, разработанный Бертраном Мейером.
Новый!!: Контрактное программирование и Eiffel · Узнать больше »
Fortress
Fortress (буквально «крепость») — черновая спецификация языка программирования, разрабатывавшегося компанией Sun Microsystems.
Новый!!: Контрактное программирование и Fortress · Узнать больше »
Google (компания)
Google (МФА, /ˈgü-gəl/, транскрипция: «Гугл») — американская транснациональная публичная корпорация, реорганизованная 2 октября 2015 года в международный конгломерат Alphabet Inc., компания в составе холдинга Alphabet, инвестирующая в интернет-поиск, облачные вычисления и рекламные технологии.
Новый!!: Контрактное программирование и Google (компания) · Узнать больше »
Java
JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.
Новый!!: Контрактное программирование и Java · Узнать больше »
JavaScript
JavaScript (аббр. JS) — мультипарадигменный язык программирования.
Новый!!: Контрактное программирование и JavaScript · Узнать больше »
Lisaac
Lisaac — это первый компилируемый объектно-ориентированный язык программирования основанный на концепции прототипов, поддерживающий системное программирование и контрактное программирование.
Новый!!: Контрактное программирование и Lisaac · Узнать больше »
Nemerle
Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования, для платформ.NET и Mono (язык компилируется в CIL и является CLS-совместимым).
Новый!!: Контрактное программирование и Nemerle · Узнать больше »
Oxygene (язык программирования)
Oxygene («Кислород») (ранее известный как Chrome («Хром»)) — язык программирования, разработанный компанией RemObjects Software для стандарта Common Language Infrastructure.
Новый!!: Контрактное программирование и Oxygene (язык программирования) · Узнать больше »
Perl
Perl — высокоуровневый интерпретируемый динамический язык программирования общего назначения, созданный Ларри Уоллом, лингвистом по образованию.
Новый!!: Контрактное программирование и Perl · Узнать больше »
PHP
PHP (PHP: Hypertext Preprocessor — «PHP: препроцессор гипертекста»; первоначально Personal Home Page Tools — «Инструменты для создания персональных веб-страниц») — скриптовый язык общего назначения, интенсивно применяемый для разработки веб-приложений.
Новый!!: Контрактное программирование и PHP · Узнать больше »
Python
Логотип Python (1990—2005) Python (МФА:; в русском языке распространено название пито́н) — высокоуровневый язык программирования общего назначения, ориентированный на повышение производительности разработчика и читаемости кода.
Новый!!: Контрактное программирование и Python · Узнать больше »
Racket (язык программирования)
Racket (ранее — PLTScheme) — мультипарадигменный язык программирования общего назначения, принадлежащий семейству Lisp/Scheme.
Новый!!: Контрактное программирование и Racket (язык программирования) · Узнать больше »
Ruby
Ruby (ruby — рубин, произносится — ру́би) — динамический, рефлективный, интерпретируемый высокоуровневый язык программирования.
Новый!!: Контрактное программирование и Ruby · Узнать больше »
Scala (язык программирования)
Scala — мультипарадигмальный язык программирования, спроектированный кратким и типобезопасным для простого и быстрого создания компонентного программного обеспечения, сочетающий возможности функционального и объектно-ориентированного программирования.
Новый!!: Контрактное программирование и Scala (язык программирования) · Узнать больше »
Scheme
Scheme — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).
Новый!!: Контрактное программирование и Scheme · Узнать больше »
Spring Framework
Spring Framework (или коротко Spring) — универсальный фреймворк с открытым исходным кодом для Java-платформы.
Новый!!: Контрактное программирование и Spring Framework · Узнать больше »
Zonnon
Zonnon — язык программирования общего назначения, основанный на языкe Modula-2, и поддерживающий активные объекты, появившиеся в Активном Обероне.
Новый!!: Контрактное программирование и Zonnon · Узнать больше »
Компонентный паскаль
Компонентный паскаль (Component Pascal) — язык программирования c парадигмой компонентно-ориентированного программирования.
Новый!!: Контрактное программирование и Компонентный паскаль · Узнать больше »
Программное обеспечение
Програ́ммное обеспе́чение Грамота.ру (допустимо также произношение обеспече́ние) (ПО) — программа или множество программ, используемых для управления компьютером (ISO/IEC 26514:2008).
Новый!!: Контрактное программирование и Программное обеспечение · Узнать больше »
Побочный эффект (программирование)
Побо́чные эффе́кты (side effects) — любые действия работающей программы, изменяющие среду выполнения (execution environment).
Новый!!: Контрактное программирование и Побочный эффект (программирование) · Узнать больше »
Повторное использование кода
Повторное использование кода (code reuse) — методология проектирования компьютерных и других систем, заключающаяся в том, что система (компьютерная программа, программный модуль) частично либо полностью должна составляться из частей, написанных ранее компонентов и/или частей другой системы, и эти компоненты должны применяться более одного раза (если не в рамках одного проекта, то хотя бы разных).
Новый!!: Контрактное программирование и Повторное использование кода · Узнать больше »
Объектно-ориентированное программирование
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Новый!!: Контрактное программирование и Объектно-ориентированное программирование · Узнать больше »
Обработка исключений
Обрабо́тка исключи́тельных ситуа́ций (exception handling) — механизм языков программирования, предназначенный для описания реакции программы на ошибки времени выполнения и другие возможные проблемы (исключения), которые могут возникнуть при выполнении программы и приводят к невозможности (бессмысленности) дальнейшей отработки программой её базового алгоритма.
Новый!!: Контрактное программирование и Обработка исключений · Узнать больше »
Оберон (операционная система)
ETH), на экране несколько окон с текстом и графикой. Oberon — операционная система (далее ОС), разработанная Никлаусом Виртом и (ETHZ) для однопользовательской рабочей станции Ceres в рамках Проекта Оберон.
Новый!!: Контрактное программирование и Оберон (операционная система) · Узнать больше »
Оберон-2 (язык программирования)
Оберон-2 (Oberon-2) является расширением языка программирования Оберон в котором добавлены элементы метапрограммирования (ограниченная рефлексия) и удобства для объектно-ориентированного программирования, открытые массивы и базовые типы указателей, поля доступные при экспорте только для чтения и восстановлен оператор FOR из Модулы-2.
Новый!!: Контрактное программирование и Оберон-2 (язык программирования) · Узнать больше »
Абстрактный тип данных
Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
Новый!!: Контрактное программирование и Абстрактный тип данных · Узнать больше »
Ада (язык программирования)
А́да (Ada) — язык программирования, созданный в 1979—1980 годах в ходе проекта Министерством обороны США с целью разработать единый язык программирования для встроенных систем (то есть систем управления автоматизированными комплексами, функционирующими в реальном времени).
Новый!!: Контрактное программирование и Ада (язык программирования) · Узнать больше »
Наследование (программирование)
Наследование (англ. inheritance) — концепция объектно-ориентированного программирования, согласно которой абстрактный тип данных может наследовать данные и функциональность некоторого существующего типа, способствуя повторному использованию компонентов программного обеспечения.
Новый!!: Контрактное программирование и Наследование (программирование) · Узнать больше »
Статический анализ кода
Стати́ческий ана́лиз ко́да (static code analysis) — анализ программного обеспечения, производимый (в отличие от динамического анализа) без реального выполнения исследуемых программ.
Новый!!: Контрактное программирование и Статический анализ кода · Узнать больше »
Си (язык программирования)
Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.
Новый!!: Контрактное программирование и Си (язык программирования) · Узнать больше »
Тестирование на основе модели
Тестирование на основе модели (Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (system under test).
Новый!!: Контрактное программирование и Тестирование на основе модели · Узнать больше »
Формальные методы
Z-нотации В информатике и инженерии программного обеспечения формальными методами (formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения.
Новый!!: Контрактное программирование и Формальные методы · Узнать больше »
Формальная спецификация
В информатике формальная спецификация — это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием.
Новый!!: Контрактное программирование и Формальная спецификация · Узнать больше »
Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.
Новый!!: Контрактное программирование и Формальная верификация · Узнать больше »
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Новый!!: Контрактное программирование и Язык программирования · Узнать больше »
Модульное тестирование
Единичное тестирование, или модульное тестирование (unit testing) — процесс в программировании, позволяющий проверить на корректность единицы исходного кода, наборы из одного или более программных модулей вместе с соответствующими управляющими данными, процедурами использования и обработки.
Новый!!: Контрактное программирование и Модульное тестирование · Узнать больше »
Модула-2
Мо́дула-2 (Modula-2) — язык программирования общего назначения, являющийся развитием Паскаля, разработанный Никлаусом Виртом в 1978 году.
Новый!!: Контрактное программирование и Модула-2 · Узнать больше »
Модула-3
Мо́дула-3 (Modula-3, M3) — это системный язык программирования, который является продолжением языка Модула-2.
Новый!!: Контрактное программирование и Модула-3 · Узнать больше »
Мейер, Бертран
Бертран Мейер Бертран Мейер (род. 21 ноября 1950 года) — создатель языка программирования Эйфель.
Новый!!: Контрактное программирование и Мейер, Бертран · Узнать больше »
Интеграционное тестирование
Интеграцио́нное тести́рование (Integration testing, иногда называется Integration and Testing, аббревиатура I&T) — одна из фаз тестирования программного обеспечения, при которой отдельные программные модули объединяются и тестируются в группе.
Новый!!: Контрактное программирование и Интеграционное тестирование · Узнать больше »
Временная сложность алгоритма
В информатике временна́я сложность алгоритма определяет время работы, используемое алгоритмом, как функции от длины строки, представляющей входные данные.
Новый!!: Контрактное программирование и Временная сложность алгоритма · Узнать больше »
Динамическое связывание
Без описания.
Новый!!: Контрактное программирование и Динамическое связывание · Узнать больше »
Договор
Догово́р (мн. ч. — догово́ры) — «соглашение двух или более лиц об установлении, изменении или прекращении гражданских прав и обязанностей» (ст. 420 Гражданского кодекса Российской Федерации).
Новый!!: Контрактное программирование и Договор · Узнать больше »
Документация на программное обеспечение
Документа́ция на программное обеспечение — печатные руководства пользователя, диалоговая (оперативная) документация и справочный текст, описывающие, как пользоваться программным продуктомГОСТ Р ИСО/МЭК 15910-2002 — Процесс создания документации пользователя программного средства.
Новый!!: Контрактное программирование и Документация на программное обеспечение · Узнать больше »
Лисп
Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.
Новый!!: Контрактное программирование и Лисп · Узнать больше »
Логика Хоара
Логика Хоара (Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ.
Новый!!: Контрактное программирование и Логика Хоара · Узнать больше »
.NET Framework
.NET Framework — программная платформа, выпущенная компанией Microsoft в 2002 году.
Новый!!: Контрактное программирование и .NET Framework · Узнать больше »
