?
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
Programming and Computer Software, Pleiades Publishing, Ltd.. 2020. Vol. 46. No. 7. P. 1-11.
В печати
Margaria T., Steffen B., IEEE Computer Society, 2006
Добавлено: 30 сентября 2015 г.
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 г.
Бабкин Э. А., Пономарев Н. О., Бизнес-информатика 2017 Т. 43 № 3 С. 30-40
Разработка архитектуры предприятия является сложным процессом, но в то же время позволяет решить проблему синхронизации возможностей и потребностей бизнеса и информационных технологий (ИТ). Решение данной проблемы достигается за счет уточнения понимания и формализации описания бизнес-процессов и взаимодействия элементов системы путем их формального описания. Наличие большого числа взаимодействующих бизнес-процессов и сущностей архитектуры предприятия объясняет необходимость проверки ...
Добавлено: 3 октября 2018 г.
Yaroslavl : Yaroslavl State University, 2013
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc. ...
Добавлено: 14 июля 2013 г.
Орлова Г. А., Новое литературное обозрение 2019 Т. 157 № 3 С. 26-34
Статья посвящена конструированию, курированию и эпистемологическому ремонту "большого формального метода" в антологии формализма и русского авангарда, изданной под редакцией Сергея Ушакина. ...
Добавлено: 19 июня 2019 г.
Champaign : Springer, 2020
Добавлено: 20 октября 2022 г.
Berlin : Springer, 2014
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 ...
Добавлено: 3 июля 2014 г.
Springer, 2024
Добавлено: 31 января 2024 г.
Карраскель Г. Х., 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 г.
В статье дается анализ методов и предложено решение проблемы обнаружения логических противоречий в моделях бизнес-процессов системы здравоохранения. Практической целью разрешения проблемы является повышение эффективности управления данными и процессами в муниципальных учреждениях здравоохранения при реализации комплексных услуг. Методология основана на формальных инструментах реляционной логики, в качестве формализма задействована методология описания бизнес-процессов DEMO. Использована существенным образом система ...
Добавлено: 17 апреля 2014 г.
Гельман В. Я., Osteuropa Zeitschrift für Gegenwartsfragen des Ostens 2005 Vol. 55 No. 10 P. 85-97
Добавлено: 24 ноября 2013 г.
Пащенко Т. В., В кн. : Трансцендентное в современной философии: направления и методы. : СПб. : Алетейя, 2013.
Э. Залта и П. Оппенгеймер попытались создать свободное от модальных посылок прочтение рассуждения Ансельма Кентерберийского о существовании Бога, которое приводится во II главе Прослогиона. Несмотря на присутствие модальности в оригинальном тексте Ансельма (Нечто, более чего невозможно ничего помыслить), авторы обходят ее, заменяя процесс выведения актуальности Бога из возможности существования Бога на выведение существования Бога из ...
Добавлено: 18 февраля 2014 г.
Добавлено: 31 октября 2018 г.