?
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Vol. 12226: Software Engineering and Formal Methods.
Champaign :
Springer, 2020.
Главы книги
Боброва А. С., Пиетаринен А. Ю., , in: Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected PapersVol. 12226: Software Engineering and Formal Methods.: Champaign: Springer, 2020. P. 195–205.
Добавлено: 20 октября 2022 г.
Ключевые слова: formal methods
Cambridge Scholars Publishing, 2026.
Добавлено: 28 сентября 2026 г.
Сувалко А. С., Человек 2026 Т. 37 № 5 С. 118–143
В статье анализируется актуальное состояние российской экономики творцов (creator economy) в условиях ухода зарубежных платформ и быстрого изменения российского законодательства о рекламе и платформенной занятости. Ключевая гипотеза состоит в том, что российский рынок находится в лиминальном (переходном) состоянии между эпохой любительского пользовательского контента (UGC) и полноценной профессионализацией создателей. Эмпирическую базу составили 24 глубинных интервью и ...
Добавлено: 28 сентября 2026 г.
Малинов А. В., Соловьевские исследования 2026 № 3 С. 131–148
Рассматриваются возможные направления встраивания истории русской философии в современную образовательную среду, ее место в культурной ситуации нашего времени и философии в целом. Отмечается, что в полной мере история русской философии как учебная дисциплина начала складываться только со второй половины XX в., а формирование сообщества историков русской философии завершилось лишь в первое десятилетие XXI в. Рассматривается ...
Добавлено: 25 сентября 2026 г.
Рупова Р. М., Богословский вестник 2023 № № 2 (49) С. 38–52
Поставленный Тертуллианом во II веке вопрос, что может быть общего между Афинами и Иерусалимом, в приложении к нашему времени может звучать так: что может быть об щего между Силиконовой долиной и Иерусалимом? В данном случае Силиконовая до лина — символ современной технотронной цивилизации. Автор статьи строит анало гию, основанную на том, что очевидная в начале ...
Добавлено: 25 сентября 2026 г.
Мерзенина А. С., Логос 2026 Т. 35 № 2 С. 73–102
В статье исследуется функционирование цифровой коммуникации в эпоху семиокапитализма (Франко Берарди) и гиперреализма (Жан Бодрийяр), а также ее влияние на психосоциальное положение современного субъекта (с опорой на психоанализ Жака Лакана). Обсессивный невроз, агрессивность и депрессия рассматриваются автором не просто как превалирующие в XXI веке психические состояния, но как особые типы взаимодействия субъекта со сферами Символического, ...
Добавлено: 21 сентября 2026 г.
Мерзенина А. С., Социологическое обозрение 2026 Т. 25 № 2 С. 206–242
В статье рассматривается проблема трансформации политической теологии, или политической онтотеологии, в эпоху позднего капитализма. Сначала автор анализирует специфику нигилизма в интерпретации Ницше и Хайдеггера, а затем переходит к рассмотрению эпистемологического, этического и политического релятивизма, общая суть которого состоит в нигилистическом отказе от единой ценностной картины мира. Далее делается вывод о том, что нигилизм является оплотом ...
Добавлено: 20 сентября 2026 г.
Shipovalova L., Филатова А. А., Социология власти 2026 Vol. 38 No. 1 P. 224–243
Добавлено: 18 сентября 2026 г.
Жигунов А. Ю., Patria 2026 Т. 3 № 3 С. 12–28
Исследование посвящено идентификации специфики гуманизма и милосердия как традиционных духовно-нравственных ценностей современной России. Особая роль указанных аксиологических установок и откровенно добродетельный характер позволяет предположить их доминирующую позицию. Избегая дискуссии о трактовке указанных категорий, автор предпринимает попытку идентифицировать реализацию добродетельных действий, которые могут быть классифицированы как проявления гуманного и милосердного поведения. В общественно-политическом пространстве обнаружен социальный ...
Добавлено: 17 сентября 2026 г.
Жукова О. А., Вопросы философии (Российская Федерация) 2026 № 8 С. 51–64
Статья представляет собой критико-философский анализ книги А.А. Кара-Мурзы «Избранные работы по русской философии, политике и культуре» (2024), содержащей статьи, посвященные философии российской истории. Эссе, очерки, мемуарно-биографические тексты, травелоги и философско-краеведческие исследования демонстрируют творческие интересы ученого, который обращается к различным сюжетам философской, политической и духовно-художественной культуры России, рассматривая массив ее исторического наследия с точки зрения цивилизационной ...
Добавлено: 17 сентября 2026 г.
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
Статья посвящена философскому анализу трансформации труда в условиях распространения технологий ИИ. Критикуя представления об ИИ как автономной и нейтральной технологии, ведущей к замещению человеческого труда, автор предлагает анализировать социальные последствия развития ИИ в контексте процессов автоматизации и общественного разделения труда. На основе марксистского анализа ИИ трактуется как машина нового типа – социотехническая инфраструктура, в которой ...
Добавлено: 17 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Ермоленко Г. А., Кожевников С. Б., Вестник Московского городского педагогического университета. Серия: Философские науки 2026 № 1(57) С. 9–18
В статье исследуется феномен социального капитала в контексте современных медиакоммуникаций и его взаимосвязь с явлением этики отмены (канселинга). Авторы изучают механизмы функционирования социального капитала в цифровом пространстве и его трансформации под влиянием практик канселинга. Методология исследования опирается на теоретические подходы к пониманию приро ды социального
капитала П. Бурдье, Ж. Бодрийяра, Н. Лумана, М. Кастельса. Статья содержит ...
Добавлено: 11 сентября 2026 г.
Филатова А. А., Эпистемология и философия науки 2026 Т. 63 № 2 С. 154–171
Развитие и активное внедрение искусственного интеллекта (да лее – ИИ), особенно в виде больших языковых моделей, вызвало новую волну дискуссий о семантических компетенциях техни ческих устройств и критериях оценки результатов их функцио нирования, в частности, сгенерированных текстов. В статье пред лагается рассмотреть ряд наиболее трудных вопросов и их представленность в современной философии языка. В первую ...
Добавлено: 10 сентября 2026 г.
Фауль Б. В., Эпистемология и философия науки 2026 Т. 63 № 2 С. 41–50
В статье предлагается критический анализ аргументации Константина Очеретяного, изложенной в эссе «Эпистемический нигилизм и экзистенциальный романтизм: знание в цифровую эпоху». Рассматриваются два предложенных автором сценария – технопессимистический и технооптимистический – и показывается, что вывод о трансформации статуса знания под влиянием искусственного интеллекта остается недостаточно обоснованным. Особое внимание уделяется критике тезиса о том, что когнитивное делегирование ...
Добавлено: 9 сентября 2026 г.
Малышкин Е. В., Логос 2024 Т. 34 № 6 (163) С. 217–232
В своих программных трудах Рене Декарт, помимо выстраивания впечатляющей метафизической системы, раз за разом раздает обещания счастья, которое непременно должно сопровождать занятия философией по новому образцу. В чем именно состоит это счастье и способна ли картезианская конструкция выполнить данное обещание? Для кого оно может наступить? Если относиться к этому обещанию всерьез, как к инструкции по ...
Добавлено: 8 сентября 2026 г.
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
В статье определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время проведение ...
Добавлено: 5 ноября 2025 г.
Springer, 2024.
Добавлено: 31 января 2024 г.
Орлова Г. А., Новое литературное обозрение 2019 Т. 157 № 3 С. 26–34
Статья посвящена конструированию, курированию и эпистемологическому ремонту "большого формального метода" в антологии формализма и русского авангарда, изданной под редакцией Сергея Ушакина. ...
Добавлено: 19 июня 2019 г.
Карраскель Г. Х., Morales A., Villapol M. E., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 4 P. 107–128
Добавлено: 19 ноября 2018 г.
Berriri A., López J., Kushik N. и др., , in: In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE.: SciTePress, 2018. P. 440–446.
Добавлено: 1 ноября 2018 г.
Добавлено: 31 октября 2018 г.
Бабкин Э. А., Пономарев Н. О., Бизнес-информатика 2017 Т. 43 № 3 С. 30–40
Разработка архитектуры предприятия является сложным процессом, но в то же время позволяет решить проблему синхронизации возможностей и потребностей бизнеса и информационных технологий (ИТ). Решение данной проблемы достигается за счет уточнения понимания и формализации описания бизнес-процессов и взаимодействия элементов системы путем их формального описания. Наличие большого числа взаимодействующих бизнес-процессов и сущностей архитектуры предприятия объясняет необходимость проверки ...
Добавлено: 3 октября 2018 г.
Margaria T., Steffen B., IEEE Computer Society, 2006.
Добавлено: 30 сентября 2015 г.