Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
This report presents an approach to the creation of a technique of the software applications development based on the integrated development environment which contains a model and tools for its implementation. The formal tools of a model specification and analysis are also considered.
In 1970 he graduated from the Mechanics and Mathematics Faculty of the University of Kazan. In 1978 he successfully defended his thesis on physical and mathematical sciences at the Institute of Cybernetics of the Ukrainian Academy of Sciences (Kiev). In 1982/1983 he was an research student at the University of Oxford UK, led by Professor Tony Hoare. Arslan currently works as a consultant at a software development company. He is the head of the department of programming technologies at Kazan Federal University (KFU).