ПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ НА ПРОГРАМНО ОСИГУРЯВАНЕ

Simple item page
dc.contributor.authorОрозова, Даниела
dc.date.accessioned2025-03-12T13:43:51Z
dc.date.issued2020
dc.description.abstractВисоката степен на интеграция на информационните технологии в почти всички приложения води до необходимост от реализиране на надеждни програмни и апаратни средства. Важна цел от обучението на софтуерните инженери в Бургаския свободен университет е развитието на навици и умения у студентите, свързани с процесите на разработване, поддържане и оптимизиране на софтуер, както и оценка за надеждността и правилността на софтуера. В статията се представят основни методи и средства за моделиране и верификация на софтуер.
dc.identifier.issnvol. XLII; p.
dc.identifier.urihttp://research.bfu.bg:4000/handle/123456789/678
dc.language.isobg
dc.publisherБургаски свободен университет
dc.relation.ispartofseriesvol. XLII; p.41
dc.subjectmodeling tools
dc.subjectformal code review
dc.subjectprogramme verification
dc.subjectpragramme synthesis
dc.subjecteducation in programming
dc.titleПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ НА ПРОГРАМНО ОСИГУРЯВАНЕ
dc.title.alternativeAPPROACHES FOR SOFTWARE MODELING AND VERIFICATION
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
03_ПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ.pdf
Size:
347.3 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download

Collections

Годишник, 2020, Том XLII