Работа,представленная на рецензию,посвящена актуальной теме-«Формальные методы»
жүктеу/скачать 14,38 Kb.
|
|
Работа,представленная на рецензию,посвящена актуальной теме-«Формальные методы». В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления логики, формальных языков, теории автоматов, формальной семантики, систем типов и алгебраических типов данных. Реферат состоит из введения,четырех главной основной части и списка литературы.Во введении автор очертил круг своих интересов в обозначенной области,представил краткое описание термина «Формальные методы» и сформулировал цели и задачи реферата. В основной части работы автор последовательно и доходчива излагает теоретический материал. В первой части рассмотрены разновидности формальных методов .В этой главе выделены три уровня применения формальных методов:нулевой,первый,второй уровень,Во второй главе автор говорит об использовании формальных методов. Формальные методы применяются на разных этапах разработки программного обеспечения. Третья часть о критичности формальных методов.В четвертой части большое место начначен к абстракции формальных методов.В заключительной главе автор приходит к выводу о том, что формальные методы являются методы рассуждения строго, используя математическую логику , на компьютерную программу или цифровой электронной аппаратуры. Они мотивацией многих научных исследований в области информатики. Оценивая представленную работу, можно отметить тот факт,что автор стремился максимально подробно разобраться и изложить изучаемый теоретический материал.Реферат «Формальные методы» написан хорошим литературным языком. жүктеу/скачать 14,38 Kb. Достарыңызбен бөлісу:
|