ПОДХОДИ ЗА МОДЕЛИРАНЕ И ВЕРИФИКАЦИЯ НА ПРОГРАМНО ОСИГУРЯВАНЕ
APPROACHES FOR SOFTWARE MODELING AND VERIFICATION
Author(s): Daniela Ananieva OrozovaSubject(s): Social Sciences, Economy, Education, Higher Education , ICT Information and Communications Technologies
Published by: Бургаски свободен университет
Keywords: modeling tools; formal code review; programme verification; pragramme synthesis; education in programming.
Summary/Abstract: The high degree of integration of information technologies in almost all applications leads to the need for the implementation of reliable software and hardware. An important goal of the training of software engineers at Burgas Free University is the development of habits and skills in students related to the processes of developing, maintaining and optimizing software, as well as assessing the reliability and correctness of the software. The article presents the main methods and tools for modeling and verification of software.
Journal: Годишник на Бургаски свободен университет
- Issue Year: XLII/2020
- Issue No: 1
- Page Range: 41-47
- Page Count: 7
- Language: Bulgarian
