|
Research at Burgas Free University >
1. Годишници на БСУ / BFU Yearbooks >
2020 >
Please use this identifier to cite or link to this item:
http://research.bfu.bg:8080/jspui/handle/123456789/971
|
| Title: | ПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ НА ПРОГРАМНО ОСИГУРЯВАНЕ |
| Other Titles: | APPROACHES FOR SOFTWARE MODELING AND VERIFICATION |
| Authors: | Орозова, Даниела |
| Keywords: | modeling tools, formal code review, programme verification, pragramme synthesis, education in programming |
| Issue Date: | 2020 |
| Series/Report no.: | ТОМ XLII;с. 41-47 |
| Abstract: | Високата степен на интеграция на информационните технологии в почти всички приложения води до необходимост от реализиране на надеждни програмни и апаратни средства. Важна цел от обучението на софтуерните инженери в Бургаския свободен университет е развитието на навици и умения у студентите, свързани с процесите на разработване, поддържане и оптимизиране на софтуер, както и оценка за надеждността и правилността на софтуера. В статията се представят основни методи и средства за моделиране и верификация на софтуер |
| URI: | http://research.bfu.bg:8080/jspui/handle/123456789/971 |
| ISSN: | 1311-221X |
| Appears in Collections: | 2020
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
