Formal Methods and Software Development

Descipline Formal Methods and Software Development
Faculty Faculty of Computer Science and Cybernetics
Faculty URL
Language English
Degree Master
Credits 5
Semester 2
Description Includes the study of basic concepts of the theory of programming, addressing key aspects of programs (semantics, computability, pragmatics) and the study of formal methods for building software systems. Goal: study of basic notions, principles and concepts of modern methods of formal software development. Task of education: main program aspects, methods of formal program model construction, program verification methods. In general outlook perspective, the concepts and methods are needed to study and develop methods to formalize the correct and efficient programs. In the applied aspect, such methods are required for adequate modeling of specification and programming languages and use of these models to create reliable software and information systems.
Teachers Mykola Nikitchenko, Professor
Author: admin