ПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ НА ПРОГРАМНО ОСИГУРЯВАНЕ
Date
2020
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Бургаски свободен университет
Abstract
Високата степен на интеграция на информационните технологии в почти всички приложения води до необходимост от реализиране на надеждни програмни и апаратни средства. Важна цел от обучението на софтуерните инженери в Бургаския свободен университет е развитието на навици и умения у студентите, свързани с процесите на разработване, поддържане и оптимизиране на софтуер, както и оценка за надеждността и правилността на софтуера. В статията се представят основни методи и средства за моделиране и верификация на софтуер.
Description
Keywords
modeling tools, formal code review, programme verification, pragramme synthesis, education in programming