KZ

UML моделирование

  • Цель дисциплины: формирование у студентов необходимой теоретической базы и практических навыков, которые позволят всесторонне и системно видеть этапы и процесс разработки программных продуктов.По дисциплине рассматриваются следующие аспекты: введение в дисциплину. Рассмотрение моделирования последовательных систем как признака (Крипке) с чередующимися системами. Свойство линейного времени. Линейная временная логика (LTL).
  • Образовательная программа 6B06103 Компьютерная инженерия
  • ВУЗ Казахский национальный университет имени аль-Фараби
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 5
Top