Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
The notion of refinement has its origins in the field of state machines. The concept is developed in some techniques including Z and Event-B. Yet, these techniques are not ideal. The talk illustrates by an example how to perform refinement in a contracted object-oriented language. The results show that a programming language may be more suitable for expressing refinement than the classical modeling instruments.
The notion of refinement has its origins in the field of state machines. The concept is developed in some techniques including Z and Event-B. Yet, these techniques are not ideal. The talk illustrates by an example how to perform refinement in a contracted object-oriented language. The results show that a programming language may be more suitable for expressing refinement than the classical modeling instruments.
Speaker BIO Alexander Naumchev
PhD researher at Innopolis University
His research interests include applying formal methods in software engineering, modeling self-adaptive systems, software models verification.
Alexandr holds a degree in Mathematics from Novosibirsk State University (September 2003 — June 2008). He also is a Master of Science in Information Technology (Software Engineering), Carnegie Mellon University (August 2013 – August 2014).
Alexandr has tried himself in different professional areas, including banking (April 2008 – March 2009) and credit risks analysis (September 2007 – March 2008). In the Information Technology field he worked as a Software Intern (December 2005 – May 2006), Technical Writer (May 2009 — April 2010) and finally as a Software Engineer in Parallels (April 2010 – August 2013). His professional interests included mostly software security assessment, developing high-performance software and reversing software in general.