- Full text PDF available (0)
An overall description of the history and current state of the Ada-situation in Russia is presented. Some key details of the situation are outlined. The Moscow State University is proposed as the base organization for international communication and cooperation with the Russian Ada community.
This paper presents the main results obtained by the research group of the Computer Science Department of Moscow State University in developing methods and tools for validating compiler diagnostics.Methods of diagnostic test design based on partially formalized models are shown. In addition, a diagnostic test suite and results of its application are… (More)