Вклад участника
Перейти к навигации
Перейти к поиску
- 15:53, 2 марта 2025 разн. история +630 м Концепция информационного моделирования Добавлен раздел "Информационные пространства" и подразделы
- 15:46, 2 марта 2025 разн. история -2 м Концепция информационного моделирования →Библиография: изменен уровень раздела
- 13:23, 2 марта 2025 разн. история +377 м Методология информационного моделирования →Введение: добавлены ссылка на материалы Левенчука по УТ текущая
- 13:04, 2 марта 2025 разн. история +751 м Методология информационного моделирования →Введение: Добавлена ссылка на статью "Иллюзия требований при разработке программного обеспечения"
- 12:36, 2 марта 2025 разн. история +242 м Методология информационного моделирования →Введение: Добавлена ссылка на статью о написании "Пользовательских историй"
- 12:30, 2 марта 2025 разн. история +2415 м Методология информационного моделирования →Управление требованиями в рамках информационного моделирования: добавлены термины "Сценарий использования и Пользовательская история и ссылка на статью на Хабре
- 12:19, 2 марта 2025 разн. история -126 м Методология информационного моделирования →Управление требованиями в рамках информационного моделирования: исправлено оформление
- 18:56, 28 февраля 2025 разн. история +5214 OpenLCA →Методы LCIA: Добавлена информация по Протоколу по парниковым газам текущая
- 18:47, 28 февраля 2025 разн. история +1346 OpenLCA →Методы LCIA: Добавлено описание метода LC-IMPACT
- 12:23, 23 февраля 2025 разн. история +50 м Заглавная страница →Свежие обновления Свода Знаний по Информационному Моделированию: донастроены параметры отображения текущая
- 11:41, 23 февраля 2025 разн. история +82 м OpenLCA →Идея: добавлена ссылка на страницу описания Экосистемы openLCA
- 11:39, 23 февраля 2025 разн. история +13 м Экосистема OpenLCA →Работа с сервером совместной работы: выставлены правильные размеры изображений текущая
- 11:36, 23 февраля 2025 разн. история +186 Экосистема OpenLCA →Сервер совместной работы LCA: добавлены картинки
- 11:35, 23 февраля 2025 разн. история +79 Н Файл:2016-09-05-18 27 57-Fotos t.png Распределенная работа текущая
- 11:33, 23 февраля 2025 разн. история +75 Н Файл:2016-09-05-18 38 30-Fotos t.png Конвейер публикаций текущая
- 11:30, 23 февраля 2025 разн. история +5898 Экосистема OpenLCA Добавлен раздел
- 11:21, 23 февраля 2025 разн. история +3991 Экосистема OpenLCA Добавлен раздел onlineLCA
- 11:14, 23 февраля 2025 разн. история +2599 Н Экосистема OpenLCA Первоначальная редакция страницы концепции
- 11:06, 23 февраля 2025 разн. история +104 Н Файл:Ecosystem-Diagram-V2-1.png Концепуальная схема экосистемы openLCA текущая
- 10:59, 23 февраля 2025 разн. история +8 м OpenLCA →openLCA Data: перевод слова Data в названии раздела
- 10:56, 23 февраля 2025 разн. история +86 OpenLCA →Возможности openLCA: добавлена ссылка на страницу скачивания ПО
- 10:54, 23 февраля 2025 разн. история +2212 OpenLCA Добавлен раздел "openLCA Data" и добавлена ссылка на страницу nexus
- 10:45, 23 февраля 2025 разн. история +4140 OpenLCA →Возможности openLCA: добавлены разделы "Импорт и экспорт" и "Моделирование"
- 10:40, 23 февраля 2025 разн. история +2459 OpenLCA →Возможности openLCA: добавлены разделы "Инструменты разработчика" и "Анализ данных"
- 10:36, 23 февраля 2025 разн. история +1360 OpenLCA Добавлена первая часть информации о функциональных возможностях системы openLCA
- 10:25, 23 февраля 2025 разн. история +6 м OpenLCA добавлен разделитель в конце страницы
- 10:25, 23 февраля 2025 разн. история +164 м OpenLCA →Открытое программное обеспечение: добавлена ссылка на текст MPL и сноска на "Часто задаваемые вопросы по лицензии MPL 2.0"
- 10:16, 23 февраля 2025 разн. история +27 м OpenLCA →История создания решения: добавлена ссылка на https://www.openlca.org/
- 10:15, 23 февраля 2025 разн. история +5362 Н OpenLCA Первоначальная редакция страницы
- 21:35, 22 февраля 2025 разн. история +3273 Автоматическое доказательство Добавлен раздел библиотеки и информация о SMT-библиотеке
- 21:23, 22 февраля 2025 разн. история +2165 Автоматическое доказательство →Автоматизированные системы доказательства теорем: добавлены: nanoCoP, Twee, cvc5, а также ссылки на библиотеки SMT и SyGuS
- 21:10, 22 февраля 2025 разн. история +188 м Автоматическое доказательство Добавлены заголовки разделов
- 21:09, 22 февраля 2025 разн. история +682 Автоматическое доказательство Добавлена информация про Knuckledragger
- 21:02, 22 февраля 2025 разн. история +358 м Автоматическое доказательство Добавлены ссылки на системы доказательства теорем + добавлена короткая информация о Z3
- 20:52, 22 февраля 2025 разн. история +197 м E →Процедура проверки: добавлены ссылки на страницы соотвествующих систем доказательства теорем текущая
- 20:43, 22 февраля 2025 разн. история 0 м Автоматическое доказательство Исправлена ссылка на музей систем доказательства теорем
- 20:42, 22 февраля 2025 разн. история +150 Автоматическое доказательство Добавил ссылку на музей систем доказательства теорем
- 20:38, 22 февраля 2025 разн. история +48 м E выделение жирным названия "Е"
- 20:37, 22 февраля 2025 разн. история +12 485 Н E Первая редакция перевода страницы https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Technology.html
- 20:27, 22 февраля 2025 разн. история +4 м Автоматическое доказательство Ссылка на страницу описания "E" прувера
- 20:26, 22 февраля 2025 разн. история +179 Автоматическое доказательство Добавлено упоминание об прувере "Е"
- 20:25, 22 февраля 2025 разн. история +6 м Автоматическое доказательство добавил разделитель сносок и основного текста
- 21:29, 21 февраля 2025 разн. история +2559 Н Автоматическое доказательство Первая редакция страницы
- 21:31, 9 февраля 2025 разн. история +349 м Государственные инициативы →Гонконг: Добавлена информация о Buildings Department The Government of the Hong Kong Special Administrative Region текущая
- 19:00, 9 февраля 2025 разн. история +197 м Государственные инициативы →Гонконг: Добавлена ссылка на этапы развития BIM в Гонконге
- 18:57, 9 февраля 2025 разн. история +1321 Государственные инициативы Добавлен раздел "Гонгонг"
- 18:30, 9 февраля 2025 разн. история +84 м ТИМ-Сценарии →Ссылки на примеры сценариев: Добавлена ссылка на список BIMe: 211in Model Uses List
- 18:21, 9 февраля 2025 разн. история +63 м ТИМ-Сценарии →Ссылки на примеры сценариев: Ссылка на научную статью Maltseva, Irina (2023) Theseus
- 18:17, 9 февраля 2025 разн. история +213 м ТИМ-Сценарии →Ссылки на примеры сценариев: Добавлена ссылка на главу из BEP V.3.0 Пенсильванского университета
- 18:12, 9 февраля 2025 разн. история +137 ТИМ-Сценарии →Ссылки на примеры сценариев: добавил ссылку на статью "25 сценариев и другие аспекты многообразия BIM"
