Studying of general principles of planning software. Here are examined: the formal methods of software, basis of theory of formal specification of languages, development are on the base of grammars and regular expressions, methods of lexical and syntactic analysis, principles of work scanners and parsers, facilities of automatic generation of scanners and parsers for programming languages on base of specifications, facilities of the automatic planning and software development.

Course plan:
audience studies - 90 hrs.
individual work - 54 hrs.
total - 144 hrs.
semester - 6th
form of control - exam.