ЛАБОРАТОРИЯ ТЕОРИИ МОДЕЛЕЙ И СПЕЦИФИКАЦИЙ ИНФОРМАЦИОННЫХ СИСТЕМ

Формальные методы в инженерии программного обеспечения являются математическим аппаратом моделирования разрабатываемого программного продукта. Лаборатория работает в области языков спецификаций реагирующих информационных систем, таких как временные логики (временная логика действий), исчисления длительности, алгебра взаимодействующих последовательных процессов, RAISE и другие. Кроме того, в круг интересов лаборатории входит исследования в области выразимости запросов баз данных над упорядоченным или стабильным универсумом, общие вопросы баз данных с теоретико-модельными ограничениями (constraint databases). Методом исследования является интерпретация вышеперечисленных языков в логике предикатов первого порядка, с последующим применением аппарата теории моделей.

Заведующий - БАЙЖАНОВ Бектур Сембиулы, к.ф.-м.н., доцент

Кадровый состав:

- Байжанов Б.С., зав. лабораторией, к.ф-м.н., доцент
- Вербовский Виктор Валериевич, к.ф-м.н., ВНС
- Кулпешов Бейбут Шайыкович, к.ф-м.н., доцент, СНС
- Наурызбаев Кимеш Абишевич, к.ф.-м.н., СНС
- Кабдолданова Толкын Иманмадиевна, МНС
- Мирманова Самал Кайратовна, инженер
- Палютин Евгений Андреевич, д.ф.-м.н., профессор, ГНС

 

Телефон лаборатории: +7(727)2547373