Вікіпедія:Проект:Формальні методи
Матеріал з Вікіпедії — вільної енциклопедії.
На меті цього проекту стоїть координація зусиль в створенні інформативного покриття формальних методів.
Зміст |
[ред.] Завдання
- Доопрацювання статті Формальні методи
- Написання статей для відомих та поширених формальних методів (автомати, ...), в категорії Категорія:Формальні методи
- Специфікація, є в Енциклопедія кібернетики (встарілі дані)
- Формальна специфікація (Специфікація формальна) en:Formal specification
- Формальна верифікація (Верифікація формальна) en:Formal verification
- Формальна семантика мови програмування en:Formal semantics of programming languages
- Статичний аналіз вихідного коду en:Static code analysis
- B-метод (англ. B-Method)
- Лямбда числення en:Lambda calculus
- Розширення та доповнення Автомат скінченний, UML
- Функціональне програмування (див. також Парадигми програмування)
- Теорія множин Цермело-Френкеля en:Zermelo–Fraenkel set theory
[ред.] Додатково
- en:Verification — підтвердження
- en:Verification — Підтвердження (програмування)
- en:Specification — Технічне завдання, Специфікація
- en:Safety — Безпечність
- en:Security — Надійність
- en:Requirements — Вимоги (програмування)
- en:Formal specification — Формальна специфікація
- en:Refinement — Впровадження чи Реалізація?
- en:Theorem proover — Система доведення теорем
- en:Formal semantics of programming languages — Формальна семантика
- en:Denotational semantics — Функціональна семантика?
- de:Operationale Semantik — Операційна семантика
- de:Axiomatische Semantik — Аксиоматична семантика
- en:Precondition — Передумова (формальні методи)
- en:Postcondition — Післяумова (формальні методи)
- en:Domain theory — Теорія доменів Теорія частково впорядкованих множин?
- en:Vienna Development Method, en:VDM — Віденський метод розробки інформаційних систем, Віденський метод розробки ІС
- en:Z notation — Z-Нотація
- en:Abstract State Machines — Метод абстрактних скінченних автоматів
- en:Model checking — Перевірка моделей
- en:Assertion (computing) — Твердження (програмування)
- en:Entscheidungsproblem — Проблема розв'язуваності, Ентшайдунґспроблем.
[ред.] Терміни
- en:Reification (computer science)
- en:Refinement Уточнення???
- en:Formal verification Верифікація формальна (філософія: Верифікація)
[ред.] Джерела інформації
В якості джерел інформації, судячи із усього, доведеться використовувати англомовні статті. Однак, деякі із них перебувають не в кращому стані, тому, доведеться, також, використовувати підручники та наявні джерела інформації.
Category:Formal methods слід використовувати як приклад, можливий варіант для української категорії.
