Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers [1st ed.] 9783030576622, 9783030576639

Table of contents :
Front Matter ....Pages i-xi
Front Matter ....Pages 1-1
Teaching Formal Methods: An Experience Report (Mehrnoosh Askarpour, Marcello M. Bersani)....Pages 3-18
A Review of the Structure of a Course on Advanced Statistics for Data Scientists (Mohammad Reza Bahrami, Sergey Masyagin, Giancarlo Succi)....Pages 19-27
Reflections on Teaching Formal Methods for Software Development in Higher Education (Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown)....Pages 28-41
Experience of Mixed Learning Strategies in Teaching Lean Software Development to Third Year Undergraduate Students (Ilya Khomyakov, Sergey Masyagin, Giancarlo Succi)....Pages 42-59
Teaching Theoretical Computer Science at Innopolis University (Manuel Mazzara)....Pages 60-70
Front Matter ....Pages 71-71
Teaching Software Testing to Industrial Practitioners Using Distance and Web-Based Learning (Eduard Paul Enoiu)....Pages 73-87
Towards Code Review Guideline in a Classroom (Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara)....Pages 88-105
IT Education in St. Petersburg State University (Terekhov Andrey, Mariia Platonova)....Pages 106-114
Ten Unsafe Assumptions When Teaching Topics in Software Engineering (David Vernon)....Pages 115-130
Front Matter ....Pages 131-131
Analysing the SWECOM Standard for Designing a DevOps Education Programme (Alfredo Capozucca, Nicolas Guelfi)....Pages 133-150
Teaching Logic, from a Conceptual Viewpoint (Daniel de Carvalho, Nikolai Kudasov)....Pages 151-177
On the Design of a New Software Engineering Curriculum in Computer Engineering (Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Peter Leslie Schultz, Lukas Esterle)....Pages 178-195
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula (Peter Gorm Larsen, Hugo Daniel Macedo, Claudio Goncalves Gomes, Lukas Esterle, Casper Thule, John Fitzgerald et al.)....Pages 196-213
Front Matter ....Pages 215-215
Designing Interactive Workshops for Software Engineering Educators (Cécile Péraire, Hakan Erdogmus, Dora Dzvonyar)....Pages 217-231
Hackathons as a Part of Software Engineering Education: CASE in Tools Example (Andrey Sadovykh, Maria Beketova, Mansur Khazeev)....Pages 232-245
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems (Nikolay V. Shilov, Danila Danko)....Pages 246-264
Front Matter ....Pages 265-265
An Experience in Monitoring EEG Signals of Software Developers During Summer Student Internships (Rozaliya Amirova, Vladimir Ivanov, Sergey Masyagin, Aldo Spallone, Giancarlo Succi, Ananga Thapaliya et al.)....Pages 267-278
A Study of Cooperative Thinking (Paolo Ciancarini, Marcello Missiroli, Daniel Russo)....Pages 279-292
Front Matter ....Pages 293-293
Analysis of Development Tool Usage in Software Engineering Classes (Shokhista Ergasheva, Vladimir Ivanov, Artem Kruglov, Andrey Sadovykh, Giancarlo Succi, Evgeny Zouev)....Pages 295-309
Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software Development (Dragos Truscan, Tanwir Ahmad, Cuong Huy Tran)....Pages 310-323
Front Matter ....Pages 325-325
Internationalization Strategy of Innopolis University (Iouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara)....Pages 327-340
Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization (Iouri Kotorov, Yuliya Krasylnykova, Petr Zhdanov, Manuel Mazzara)....Pages 341-353
Front Matter ....Pages 355-355
Automated Cross-Language Integration Based on Formal Model of Components (Artyom Aleksyuk, Vladimir Itsykson)....Pages 357-370
Scalable Thread-Modular Approach for Data Race Detection (Pavel Andrianov, Vadim Mutilin)....Pages 371-385
On the Development of the Compiler from C to the Processor with FPGA Accelerator (Anton Baglij, Elena Metelitsa, Yury Mikhailuts, Ruslan Ibragimov, Boris Steinberg, Oleg Steinberg)....Pages 386-400
Back Matter ....Pages 401-401