Вікіпедія:Проект:Формальні методи
Матеріал з Вікіпедії — вільної енциклопедії.
Головна сторінка
Загальні проекти
- Поліпшення статей
- Вилучення статей
- Перейменування статей
- Відновлення вилучених сторінок
- Запити на переклад
- Завдання для роботів
- Вандалізм
- Зв'язність
Міжнародна співпраця
Тематичні проекти
- Автомобілі
- Аніме та манґа
- Астрономічні об'єкти
- Відеоігри
- Вікіпедія від А до Я
- Домени
- Екологія
- Кінематограф
- Комп'ютерні науки
- Математика
- Музика
- Народні артисти
- Оцифровки
- Тематичне поповнення
- Український футбол
- Формальні методи
- Фотографія
- Шахи
- Японія
Географія України
Культура історія і релігія
Наука
На меті цього проекту стоїть координація зусиль в створенні інформативного покриття формальних методів.
Зміст |
[ред.] Завдання
- Доопрацювання статті Формальні методи
- Написання статей для відомих та поширених формальних методів (автомати, ...), в категорії Категорія:Формальні методи
- Специфікація, є в Енциклопедія кібернетики (встарілі дані)
- Формальна специфікація (Специфікація формальна) 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:Specification — Технічне завдання, Специфікація
- en:Safety — Безпечність
- en:Security — Надійність
- en:Requirements — Вимоги (програмування)
- en:Formal specification — Формальна специфікація
- en:Refinement — Впровадження чи Реалізація?
- en:Theorem proover — Система доведення теорем
- en:Formal semantics of programming languages — Формальна семантика
- en:Precondition — Передумова (формальні методи)
- en:Postcondition — Післяумова (формальні методи)
- en:Domain theory — Теорія доменів Теорія частково впорядкованих множин?
- en:Model checking — Перевірка моделей
- en:Assertion (computing) — Твердження (програмування)
- en:Entscheidungsproblem — Проблема розв'язуваності, Ентшайдунґспроблем.
[ред.] Нотації та методи
- Системи основані на станах
- Обробка подій
- Інші
[ред.] Джерела інформації
- (2006) Software specification methods, iSTE. ISBN 978-1-905209-34-7.
[ред.] Терміни
- en:Reification (computer science)
- en:Refinement Уточнення???
- en:Formal verification Верифікація формальна (філософія: Верифікація)
[ред.] Джерела інформації
В якості джерел інформації, судячи із усього, доведеться використовувати англомовні статті. Однак, деякі із них перебувають не в кращому стані, тому, доведеться, також, використовувати підручники та наявні джерела інформації.
Category:Formal methods слід використовувати як приклад, можливий варіант для української категорії.