in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

The article is devoted to the peculiarities of ethno-oriented language teaching foreign students. definition communicative ethnostistics given, its object and subject are considered. urgency problem substantiated. aim work consider different styles national communication, as well parameters that used describe style communication. Two main types acquisition considered − non-communicative. Listen...