Вклад участника

(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)

• 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"
• 17:34, 9 февраля 2025 разн. история +479‎ Государственные инициативы ‎ Добавлен раздел с информацией о Литовских проектах
• 17:15, 9 февраля 2025 разн. история +5013‎ ТИМ-Сценарии ‎ Добавлен раздел "Что подразумевает ТИМ-сценарий"
• 16:47, 9 февраля 2025 разн. история +1522‎ Н ТИМ-Сценарии ‎ Первая редакция страницы
• 16:28, 9 февраля 2025 разн. история +802‎ Государственные инициативы ‎ Добавлена информация о NBIMS-US
• 16:20, 9 февраля 2025 разн. история +1758‎ Н Государственные инициативы ‎ Первоначальная редакция страницы
• 14:32, 8 января 2025 разн. история +2359‎ MECA ‎ →‎Общий подход к обмену рукописями: Статья дополнена принципами проекта MECA текущая
• 14:27, 8 января 2025 разн. история +302‎ м MECA ‎ →‎Общий подход к обмену рукописями: добавлена ссылка на PDF файл рекомендаций
• 14:23, 8 января 2025 разн. история +4822‎ Н MECA ‎ Первая редакция статьи о MECA
• 21:39, 23 ноября 2024 разн. история +3080‎ Концепция информационного моделирования ‎ →‎Открытые форматы: Добавлен формат USD
• 23:03, 7 апреля 2024 разн. история +459‎ Концепция информационного моделирования ‎ →‎Стандарт Functional Mock-up Interface for embedded systems (eFMI): добавлен пораздел "Библиотека Physiolibrary"
• 23:01, 7 апреля 2024 разн. история +257‎ м Концепция информационного моделирования ‎ →‎Управление требованиями: добавлена ссылка на страницу портала "управление требованиями"
• 22:58, 7 апреля 2024 разн. история +92‎ Построение Единого информационного пространства ‎ Добавлена ссылка на статью "Architectural Kata Autumn 2021 - The Archangels" текущая
• 22:57, 7 апреля 2024 разн. история +200‎ Управление требованиями ‎ Добавлена ссылка на лекцию Левенчук "Тренды в инженерии требований" текущая
• 22:55, 7 апреля 2024 разн. история +177‎ Управление требованиями ‎ Добавлена ссылка на Wikipedia Анализ требований
• 22:54, 7 апреля 2024 разн. история +643‎ Управление требованиями ‎ Добавлена ссылка на 13 главу "Requirements Engineering"
• 22:51, 7 апреля 2024 разн. история +366‎ Методология разработки онтологии строительной отрасли ‎ →‎Предыдущий опыт: добавлена подраздел про методологию "SAMOD" текущая
• 22:49, 7 апреля 2024 разн. история +1938‎ Методология разработки онтологии строительной отрасли ‎ Добавлен раздел "управление ограничениями и правилами онтологии"
• 22:38, 7 апреля 2024 разн. история +1314‎ Методология разработки онтологии строительной отрасли ‎ Добавлен раздел "Построение пространства имен"
• 22:31, 7 апреля 2024 разн. история +551‎ Н Примеры успешных проектов ‎ Первоначальная редакция страницы текущая
• 01:47, 7 апреля 2024 разн. история +312‎ м Построение Единого информационного пространства ‎ обновлен список источников
• 01:13, 7 апреля 2024 разн. история -3‎ м Построение Единого информационного пространства ‎ исправлен список источников
• 01:13, 7 апреля 2024 разн. история +263‎ м Построение Единого информационного пространства ‎ добавлены ссылки на книги Systems Architecture: Strategy and Product Development for Complex Systems и Practical Process Automation: Orchestration and Integration in Microservices and Cloud Native Architectures
• 23:08, 6 апреля 2024 разн. история +2461‎ Н Построение Единого информационного пространства ‎ Первоначальная редакция страницы
• 22:31, 8 июля 2023 разн. история +4223‎ Создание онтологии на основе Basic Formal Ontology ‎ →‎11. Избегайте массовых существительных.: добавлена 12 раздел текущая

(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)