Complexity and variety of systems that are working in real time mode need to be specified regarding all behavior conditions. The correctness of the specification, determines whether implemented system will supply conditions that were set. To ensure that specification of the described real-time system is correct, we have to do verification and validation of the specification. Traditional verification methods do not assure full real time system inspection. The main drawback, talking about them, is impossibility of system evaluation according time. In this paper a reachable states graph and its generating algorithms are described, while two time moments are compared using linear programming, Simplex method. Therefore, method for checking equivalent state in system behavioral pathway was suggested. Also, theoretical reasoning for creating computer applications, which automates generation of reachable states graph, is given. Reachable states graph fully evaluates real time system behavior.

SUMMARY: Fulfilment of the musical curriculum realization for 5th – 6th formers of general schools and its peculiarities. Master‘s work by Jurate Daugeliene. Music education in Lithuanian general schools has been studied in all different aspects. Still, the works that reveal all panoramic musical skills are missed. For this purpose, the research on the curriculum in 5 - 6 forms was carried out. Subject of investigation: fulfilment of the curriculum and its realization for 5th – 6th formers of general schools. Hypothesis: It is thougth that the level of students‘ knowledge and skills is not high enough and music material is memorized insufficiently. Aim of investigation: to study the possibilities of the fulfilment of the curriculum for 5th - 6th formers. Tasks of investigation: to study scientific, pedagogical, psychological, and methodical literature about musical education; to prepare the instrument of the fulfilment of the curriculum; to ascertain the level of students‘ abilities in a lesson; to carry out an experiment; to present conclusions and recomendations. Methods of investigation: theoretical analysis of pedagogical, psychological, methodical and philosophical literature; the tests for empirical evaluation of knowledge and abilities of students; questionnaire of pupils and music teachers; the experiment; the data processed using qualitative analysis, SPSS PC program. Empirical research baze: 500 five... [to full text]