Більш швидкий доступ, ніж браузер!
31 відносини: Ada, C (мова програмування), C Sharp, C++, Clojure, Common Lisp, D (мова програмування), Digital Mars, Eiffel, Groovy, Java, JavaScript, Microsoft Research, Nemerle, Oxygene (мова програмування), Perl, PHP, Python, Ruby, Rust (мова програмування), Післяумова (формальні методи), Програмне забезпечення, Передумова (формальні методи), Абстрактний клас, Формальні методи, Формальна специфікація, Формальна верифікація, Бертран Меєр, Безпечне програмування, Інваріант (програмування), Логіка Гоара.
Ada
Ада — структурована наказова мова програмування зі статичним зв'язуванням типу змінних, розроблена Жаном Ішбіа (Jean David Ichbiah) на фірмі Cii Honeywell Bull у 1977–1983 роках.
Новинка!!: Проектування за контрактом і Ada · Побачити більше »
C (мова програмування)
C (Сі) — універсальна, процедурна, імперативна мова програмування загального призначення, розроблена у 1972 році Денісом Рітчі у Bell Telephone Laboratories з метою написання нею операційної системи UNIX.
Новинка!!: Проектування за контрактом і C (мова програмування) · Побачити більше »
C Sharp
C# (вимовляється Сі-шарп) — об'єктно-орієнтована мова програмування з безпечною системою типізації для платформи.NET.
Новинка!!: Проектування за контрактом і C Sharp · Побачити більше »
C++
C++ (Сі-плюс-плюс) — мова програмування високого рівня з підтримкою кількох парадигм програмування: об'єктно-орієнтованої, узагальненої та процедурної.
Новинка!!: Проектування за контрактом і C++ · Побачити більше »
Clojure
Clojure (вимовляється приблизно кложер, так само як closure — Замикання) — сучасний діалект мови програмування Lisp.
Новинка!!: Проектування за контрактом і Clojure · Побачити більше »
Common Lisp
Common Lisp (Коммон Лісп) — діалект мови програмування Лісп, визначений стандартом ANSI X3.226-1994.
Новинка!!: Проектування за контрактом і Common Lisp · Побачити більше »
D (мова програмування)
D — об’єктно-орієнтована, імперативна, багатопарадигмова мова програмування.
Новинка!!: Проектування за контрактом і D (мова програмування) · Побачити більше »
Digital Mars
Digital Mars — невелика американська компанія, якою володіє Волтер Брайт.
Новинка!!: Проектування за контрактом і Digital Mars · Побачити більше »
Eiffel
Eiffel — об'єктно-орієнтована мова програмування.
Новинка!!: Проектування за контрактом і Eiffel · Побачити більше »
Groovy
Groovy — об'єктно-орієнтована динамічна мова програмування, що працює в середовищі JRE.
Новинка!!: Проектування за контрактом і Groovy · Побачити більше »
Java
Java (вимовляється Джава) — об'єктно-орієнтована мова програмування, випущена 1995 року компанією «Sun Microsystems» як основний компонент платформи Java.
Новинка!!: Проектування за контрактом і Java · Побачити більше »
JavaScript
JavaScript (JS) — динамічна, об'єктно-орієнтована прототипна мова програмування.
Новинка!!: Проектування за контрактом і JavaScript · Побачити більше »
Microsoft Research
Microsoft Research (MSR) — підрозділ корпорації Microsoft, створений у 1991 році для дослідження різноманітних питань та тем в галузі інформатики.
Новинка!!: Проектування за контрактом і Microsoft Research · Побачити більше »
Nemerle
Nemerle — високорівнева мова програмування із статичною типізацією для платформи.NET.
Новинка!!: Проектування за контрактом і Nemerle · Побачити більше »
Oxygene (мова програмування)
Oxygene («Кисень») (раніше відомий як Chrome («Хром»)) — мова програмування, розроблена компанією RemObjects Software для стандарту Common Language Infrastructure.
Новинка!!: Проектування за контрактом і Oxygene (мова програмування) · Побачити більше »
Perl
Perl (неофіційна розшифровка Practical Extraction and Reporting Language — практична мова витягів та звітів) — високорівнева, інтерпретована, динамічна мова програмування загального призначення.
Новинка!!: Проектування за контрактом і Perl · Побачити більше »
PHP
PHP (PHP: Hypertext Preprocessor — PHP: гіпертекстовий препроцесор), попередня назва: Personal Home Page Tools — скриптова мова програмування, була створена для генерації HTML-сторінок на стороні веб-сервера.
Новинка!!: Проектування за контрактом і PHP · Побачити більше »
Python
Python (найчастіше вживане прочитання — «Па́йтон», запозичено назву з британського шоу Монті Пайтон) — інтерпретована об'єктно-орієнтована мова програмування високого рівня з строгою динамічною типізацією.
Новинка!!: Проектування за контрактом і Python · Побачити більше »
Ruby
Ruby («Рубін», читається «Ру́бі») — це інтерпретована, повністю об'єктно-орієнтована мова програмування з чіткою динамічною типізацією.
Новинка!!: Проектування за контрактом і Ruby · Побачити більше »
Rust (мова програмування)
Rust — мова програмування, що розробляється Mozilla Research.
Новинка!!: Проектування за контрактом і Rust (мова програмування) · Побачити більше »
Післяумова (формальні методи)
Пі́сляумова, в програмуванні та формальних методах — правило відносно результатів виконання функції, яке має виконуватись, якщо було виконано вимоги передумови.
Новинка!!: Проектування за контрактом і Післяумова (формальні методи) · Побачити більше »
Програмне забезпечення
Програ́мне забезпе́чення (програ́мні за́соби) (ПЗ; software) — сукупність програм системи обробки інформації і програмних документів, необхідних для експлуатації цих програм.
Новинка!!: Проектування за контрактом і Програмне забезпечення · Побачити більше »
Передумова (формальні методи)
Передумо́ва — в програмуванні та формальних методах, передумовою виконання функції є правило, яке визначає, за яких умов функція матиме визначену поведінку.
Новинка!!: Проектування за контрактом і Передумова (формальні методи) · Побачити більше »
Абстрактний клас
В об'єктно-орієнтованому програмуванні абстрактний клас – це базовий клас, від якого не можна створити екземпляру.
Новинка!!: Проектування за контрактом і Абстрактний клас · Побачити більше »
Формальні методи
Формальні методи (Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (verification) програмного забезпечення та комп'ютерного обладнання.
Новинка!!: Проектування за контрактом і Формальні методи · Побачити більше »
Формальна специфікація
Форма́льна специфіка́ція — математичний опис програмного забезпечення або обладнання, яке може бути використане для розробки реалізації.
Новинка!!: Проектування за контрактом і Формальна специфікація · Побачити більше »
Формальна верифікація
Верифіка́ція форма́льна — в інформаційних технологіях, доказ, або заперечення відповідності системи у відношенні до певної формальної специфікації або характеристики, із використанням формальних методів математики.
Новинка!!: Проектування за контрактом і Формальна верифікація · Побачити більше »
Бертран Меєр
Бертран Мейєр (франц. Bertrand Meyer, народився 21 листопада 1950) - французький академік, автор і консультант в галузі комп'ютерних мов.
Новинка!!: Проектування за контрактом і Бертран Меєр · Побачити більше »
Безпечне програмування
Безпечне програмування — одна з форм безпечного проектування програм, мета якої забезпечити тривале функціонування певної частини коду програми під впливом непередбачуваних обставин.
Новинка!!: Проектування за контрактом і Безпечне програмування · Побачити більше »
Інваріант (програмування)
В програмуванні, інваріант — це умова, що не змінюється, або не повинна змінюватись коли система працює правильно.
Новинка!!: Проектування за контрактом і Інваріант (програмування) · Побачити більше »
Логіка Гоара
Алгоритмічна логіка Гоара (також відома як Флойда-Гоара) — це формальна система з множиною логічних правил для строгого доведення.
Новинка!!: Проектування за контрактом і Логіка Гоара · Побачити більше »
