Программалау технологиясы


МСТ  (мемлекеттік стандарт) –



Pdf көрінісі
бет11/136
Дата08.02.2022
өлшемі2,48 Mb.
#121875
түріПрограмма
1   ...   7   8   9   10   11   12   13   14   ...   136
Байланысты:
Мукашев С Builder

МСТ 
(мемлекеттік стандарт) –
 
белгілі бір салаларға байланысты ережелерді 
тағайындайтын мемлекеттік деңгейде қабылданған арнайы құжат. 
Верификация 
- ақырғы ӛнімнің, яғни программалық жабдықтың, алдын-ала 
анықталған талаптарға сәйкес жасалғандығын тексере отырып, программалық жабдықтың 
дұрыстығын дәлелдеу. Программалық жабдықтарды верификациялауда «Хоардың 
аксиоматикалық семантика әдісі», «Флойдтың индуктивті тұжырымдамалар әдісі» және т.б.
арнайы формальды әдістер қолданылады. 
Глоссарий
– терминдер мен ұғымдардың түсіндірме сӛздігі. 
Инкапсуляция-
бір объектіге тән барлық қасиеттердің, әдістер мен әрекеттердің
капсуланың қызметін атқаратын бір құрылымға немесе типке жинақталуы. 
Иерархия 
– бұл белгіл бір жүйедегі элементтердің бір- біріне бағынышты түрде 
реттеліп орналасуын білдіреді. Мысалы тума класстардың, түпкі кластарға бағынышты 
болуын «кластар иерархиясы» немесе «объектілер иерархиясы» деп атайды.


Достарыңызбен бөлісу:
1   ...   7   8   9   10   11   12   13   14   ...   136




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет