Joint Department with the RAS Institute for System Programming

Regular version of the site

Publications

Book

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article

Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Book chapter

City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

Working paper

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

All publications

Delivered by:: Joint Department with the RAS Institute for System Programming

Type:: Elective course

When:: 2 year, 3, 4 module

Instructors

Begicheva, Antonina

Breyman, Alexander

Аннотация

Курс направлен на развитие навыков и понимания методологии проектирования баз данных и проверки их структурной правильности, внедрения баз данных и прикладного программного обеспечения в реляционной модели, а также в парадигме MAPreduce. Слушатели смогут использовать языки запросов, в первую очередь SQL, и другого программного обеспечения, поддерживающего базы данных; применять теорию в основе различных моделей баз данных и языков запросов; реализовывать политики безопасности и целостности, относящиеся к базам данных; работать в групповых настройках для разработки и реализации проектов баз данных

Contacts

Databases (part 1)

Instructors

Программа дисциплины

Аннотация