Методы формальной спецификации программ можно рассматривать как ветвь теоретической информатики (Computer Science) как некоторую инженерную дисциплину, то есть ветвь Software Engineering. Наш курс тяготеет ко второй трактовке, курса ориентирован практические аспекты разработки программных систем, поэтому методы примения формальных походов в реальных проектах - это главная составляющая курса, а собственно формальные языки и нотации, методы анализа и трансформации спецификаций, инструменты, поддерживающие работу со спецификациями, это просто средства, которые необходимы для того, чтобы ? ??? ???????????? ?????????? ?????? ? ????????, ???????????? ?????????? ?????? ??? ???? ?? ???????????? ?????????? ??????????? ??????. ?????? ???? ? ??????? ??????? ?????????????? ??????, ???????????? ????????? ???? ??????????, ??????? ???????? ????? ????? ???????? ???????????? ????? ????????????, ??????? ????????? ?????????? ?????? ????? ?????????????, ????????????????, ??????????????, ?????????? ???????? ? ??????????? ? ????????? ?????????? ????????, ??????? ??????????? ??????????. ?????? ???? ?????, ??????????????? - ???? ????????????? ? ???????????? ?????? ? ????????, ??????? ???????????? ??? ?????????? ?????????? ????????????, ? ???????? ???????? ?????????? ???????, ??????? ????????? ????????????? ????????????, ????????? ??????????????? ????? ?????????? ?????????????? ??? ????? ????????????? ? ???????????, ????????????????, ? ?????????, ?????????????? ????????????.
Достаточно подробно в курсе рассматриваются:
В более сжатой форме рассматриваются:
Слушатели, желающие углубить свои знания в области формальных методов разработки программ смогут получить информацию об учебных ресурсах для изучения таких языков и методологий как VDM, UniTesK и дугие.