Підстави та оцінювання
Зрозуміти, що підтверджують матеріали і чи достатні вони для висновку.
← На головну
ДОСЛІДЖЕННЯ / КАРТА ПРОГРАМ
Карта дослідницьких програм
Шість напрямів. Для кожного — окремий предмет роботи, ключове питання та межі висновків. Почніть із питання вашої системи.
ВІЗУАЛЬНИЙ КОНТЕКСТЛокальні обчислення
Як пов’язані напрями
Це карта предметів дослідження. Вона пояснює взаємодоповнення програм, а не заявляє про готову інтеграцію між ними.
ВІЗУАЛЬНИЙ КОНТЕКСТЗв’язок між вузлами
Для BOARD-EX-001 відкрито лише підсумок вузької локальної перевірки; технічні матеріали програми розглядаються за погодженим обсягом. Це не кваліфікація релізу. Для інших п’яти програм окремих пакетів тут немає. DA-EX-001 стосується лише форми звернень сайту.
Допуск та виконання
Відокремити прийняту зміну від права виконати критичну операцію.
Межі довіри та аргументації
З’ясувати, що означають повідомлення, припущення й формальні твердження.
Порівняння за завданням
На телефоні доступні зручні картки. За потреби перемкніть вигляд на таблицю.
- Ключове питання
- За яких умов критична операція має право виконатися?
- Предмет роботи
- Операція та її повноваження
- Коли досліджувати
- Коли потрібно дослідити контроль виконання, збої та відновлення.
- Ключове питання
- Які докази дозволяють оцінити конкретний реліз?
- Предмет роботи
- Версія та доказовий пакет
- Коли досліджувати
- Коли потрібні ясні підстави для технічного рішення про допуск.
- Ключове питання
- На яких підставах локальна система приймає висновок?
- Предмет роботи
- Докази, правила та висновок
- Коли досліджувати
- Коли важливі локальність, детермінованість і підзвітність оцінки.
- Ключове питання
- Коли пропозиція може змінити локальний стан?
- Предмет роботи
- Допуск і узгодженість стану
- Коли досліджувати
- Коли потрібно відокремити пропозицію від дозволеної зміни.
- Ключове питання
- Що повідомлення іншого вузла дозволяє стверджувати?
- Предмет роботи
- Міжвузлова взаємодія та межі довіри
- Коли досліджувати
- Коли дані, стан і повноваження розподілені між вузлами.
- Ключове питання
- Що саме доводиться — і за яких припущень?
- Предмет роботи
- Твердження, модель та обґрунтування
- Коли досліджувати
- Коли потрібні формальні постановки й незалежне рецензування.
| Програма | Ключове питання | Предмет роботи | Коли досліджувати |
|---|---|---|---|
| 01AVRIAL | За яких умов критична операція має право виконатися? | Операція та її повноваження | Коли потрібно дослідити контроль виконання, збої та відновлення. |
| 02BOARD | Які докази дозволяють оцінити конкретний реліз? | Версія та доказовий пакет | Коли потрібні ясні підстави для технічного рішення про допуск. |
| 03LIDIYA | На яких підставах локальна система приймає висновок? | Докази, правила та висновок | Коли важливі локальність, детермінованість і підзвітність оцінки. |
| 04ENEY | Коли пропозиція може змінити локальний стан? | Допуск і узгодженість стану | Коли потрібно відокремити пропозицію від дозволеної зміни. |
| 05TCRF | Що повідомлення іншого вузла дозволяє стверджувати? | Міжвузлова взаємодія та межі довіри | Коли дані, стан і повноваження розподілені між вузлами. |
| 06NEMESISJAM | Що саме доводиться — і за яких припущень? | Твердження, модель та обґрунтування | Коли потрібні формальні постановки й незалежне рецензування. |
Схожі слова. Різні завдання.
BOARD ↔ LIDIYA
BOARD зосереджений на доказовій оцінці визначеного артефакту. LIDIYA — на локальній роботі з доказами та правилами прийняття висновків.
AVRIAL ↔ ENEY
AVRIAL розглядає виконання критичної операції та відновлення. ENEY — допуск запропонованої зміни та узгодженість локального стану.
TCRF ↔ NEMESISJAM
TCRF розглядає взаємодію між вузлами. NEMESISJAM — формулювання й обґрунтування властивостей, включно з їхніми припущеннями.
R&D / ДІАЛОГ
Не потрібно знати назву програми.
Опишіть, яке рішення, дію чи стан потрібно зробити підзвітними. Від цього починається вибір предмета роботи.