Abstract is missing.
- Teaching Formal Methods: An Experience ReportMehrnoosh Askarpour, Marcello M. Bersani. 3-18 [doi]
- A Review of the Structure of a Course on Advanced Statistics for Data ScientistsMohammad Reza Bahrami, Sergey Masyagin, Giancarlo Succi. 19-27 [doi]
- Reflections on Teaching Formal Methods for Software Development in Higher EducationMansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown. 28-41 [doi]
- Experience of Mixed Learning Strategies in Teaching Lean Software Development to Third Year Undergraduate StudentsIlya Khomyakov, Sergey Masyagin, Giancarlo Succi. 42-59 [doi]
- Teaching Theoretical Computer Science at Innopolis UniversityManuel Mazzara. 60-70 [doi]
- Teaching Software Testing to Industrial Practitioners Using Distance and Web-Based LearningEduard Paul Enoiu. 73-87 [doi]
- Towards Code Review Guideline in a ClassroomVictor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara. 88-105 [doi]
- IT Education in St. Petersburg State UniversityTerekhov Andrey, Mariia Platonova. 106-114 [doi]
- Ten Unsafe Assumptions When Teaching Topics in Software EngineeringDavid Vernon. 115-130 [doi]
- Analysing the SWECOM Standard for Designing a DevOps Education ProgrammeAlfredo Capozucca, Nicolas Guelfi. 133-150 [doi]
- Teaching Logic, from a Conceptual ViewpointDaniel de Carvalho, Nikolai Kudasov. 151-177 [doi]
- On the Design of a New Software Engineering Curriculum in Computer EngineeringStefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Peter Leslie Schultz, Lukas Esterle. 178-195 [doi]
- Collaborative Modelling and Co-simulation in Engineering and Computing CurriculaPeter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce. 196-213 [doi]
- Designing Interactive Workshops for Software Engineering EducatorsCécile Péraire, Hakan Erdogmus, Dora Dzvonyar. 217-231 [doi]
- Hackathons as a Part of Software Engineering Education: CASE in Tools ExampleAndrey Sadovykh, Maria Beketova, Mansur Khazeev. 232-245 [doi]
- Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests ProblemsNikolay V. Shilov, Danila Danko. 246-264 [doi]
- An Experience in Monitoring EEG Signals of Software Developers During Summer Student InternshipsRozaliya Amirova, Vladimir Ivanov 0001, Sergey Masyagin, Aldo Spallone, Giancarlo Succi, Ananga Thapaliya, Oydinoy Zufarova. 267-278 [doi]
- A Study of Cooperative ThinkingPaolo Ciancarini, Marcello Missiroli, Daniel Russo 0002. 279-292 [doi]
- Analysis of Development Tool Usage in Software Engineering ClassesShokhista Ergasheva, Vladimir Ivanov 0001, Artem Kruglov, Andrey Sadovykh, Giancarlo Succi, Evgeny Zouev. 295-309 [doi]
- Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software DevelopmentDragos Truscan, Tanwir Ahmad, Cuong Huy Tran. 310-323 [doi]
- Internationalization Strategy of Innopolis UniversityIouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara. 327-340 [doi]
- Finding the Right Understanding: Twenty-First Century University, Globalization and InternationalizationIouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara. 341-353 [doi]
- Automated Cross-Language Integration Based on Formal Model of ComponentsArtyom Olegovich Aleksyuk, Vladimir M. Itsykson. 357-370 [doi]
- Scalable Thread-Modular Approach for Data Race DetectionPavel Andrianov, Vadim S. Mutilin. 371-385 [doi]
- On the Development of the Compiler from C to the Processor with FPGA AcceleratorAnton Baglij, Elena Metelitsa, Yury Mikhailuts, Ruslan Ibragimov, Boris Ya. Steinberg, Oleg Steinberg. 386-400 [doi]