Special Seminar “The Correctness of the Programs”
Special Seminar “The Correctness of the Programs”
Introduction to the logical design of the hardware
Lecturer: Ph.D. Kamkin Alexander
The course is a brief introduction to the logical design of the digital hardware, in particular, Verilog hardware description language. The aim of the course is to introduce methods of description and logic simulation of digital schemes, to prepare base for possible specialization in the functional hardware verification. This course covers basic mathematical formalisms which are used in the hardware design (functional elements schemes, abstract and structural automatons), and how these formalisms are presented in the language Verilog. The course is under the special seminar "The correctness of the programs" for students of the 3rd year. More information here.
An introduction to formal specifications
Lecturer: Ph.D. Nikolay Pakulin
The course is a brief introduction to the method of formal description of functional requirements. The aim of the course is to introduce students to the methods of functional requirements dedication and their formalization by strictly formalized language. The course considers the approach known as the “Contract specification”, pre- and post conditions. The VDM language is used as a notation for writing requirements. The course is under the special seminar "The correctness of the programs" for students of the 3rd year.
Software technology and free software
Lecturer: Ph.D. Alexey Khoroshilov
The course is a brief introduction to the basic principles of the development and distribution of free software. The aim of the course is to introduce the practice of application of the theoretical concepts of software engineering through the prism of open source software development projects. The course covers features of the development of open source software, legal issues of using open source software in your own programs and participation in the open source projects. Students perform a task within the chosen open source software project. The course is under the special seminar "The correctness of the programs" for students of the 3rd year.
More information can be found here.
The course of the research group
Back to the list of courses of ISP RAS