Воркшопи конференції ICTERI 2017
Упродовж конференції відбулося 3 міжнародні воркшопи 3L Person, TheRMIT, RMSE (Rigorous Methods in Software Engineering). Вперше на воркшопі 3L Person з доповідями виступили магістранти кафедри ІПІЕК Анна Шмарова і Альона Жмурко, які представили результати дослідження за двома статтями, виконані під науковим керівництвом завідувача кафедри ІПІЕК Львова Михайла Сергійовича і одна стаття – під керівництвом доцента Круглика В.С.
Викладачі кафедри інформатики, програмної інженерії та економічної кібернетики виступили з докладами на воркшопах RMSE (Песчаненко В.С., Полторацький М.Ю., Тарасіч Ю.Г. у співавторстві з Львовим М.С.), 3L Person (Кравцов Г.М., Кобець В.М., Гнєдкова О.А.) у відповідності до наступної програми роботи воркшопів конференції:
ICTERI 2017 Proceedings
Workshop 3L-Person
- The Concepts of Software Development for OOP and BAP Self-Learning Courses 340-347
магістрант Жмурко А. О., доцент Круглик В.С., професор Львов М. С. - Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes 380-387
Професор Львов М. С., магістрант Шмарова Г. О. - Implementation of Stakeholders’ Requirements and Innovations for ICT Curriculum Through Relevant Competences 414-427
Доцент Кравцов Г. М., доцент Кобець В. М.
Workshop RMSE
- Formalization and Algebraic Verification of Legal Requirements 524-535
Alexander Godlevskyi, професор Летичевський О. А., професор Песчаненко В. С., доцент Мороховець М. К., професор Скобелев В. Г., аспірант Полторацький М. Ю. - The Canonical Forms of Logical Formulas over the Data Types and their Using in Programs Verification 536-554
Професор Львов М. С., професор Песчаненко В. С., професор Летичевський О. А., аспірант Тарасіч Ю. Г.
Інформацію підготував
заступник завідувача кафедри інформатики,
програмної інженерії та економічної кібернетики В.Кобець
