Frontiers in Software Engineering Education: First International Workshop, Fisee 2019, Villebrumier, France, November 11-13, 2019, Invited Papers (Paperback, 2020)

COURSE EXPERIENCE.- Teaching Formal Methods: An Experience Report.- A review of the structure of a course on Advanced Statistics for Data Scientists.- Reflection on Teaching Formal Approaches for Software Development in Higher Education.- Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students.- Teaching Theoretical Computer Science at Innopolis University.- LESSONS LEARNT.- Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning.- Towards code review guideline in a Classroom.- IT education in St. Petersburg State University.- Ten Unsafe Assumptions When Teaching Topics in Software Engineering.- CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme.- Teaching Logic, from a Conceptual Viewpoint.- On the Design of a New Software Engineering Curriculum in Computer Engineering.- Collaborative Modelling and Co-simulation in Engineering and Computing Curricula.- COMPETITIONS AND WORKSHOPS.- Designing Interactive Workshops for Software Engineering Educators.- Hackathons as a Part of Software Engineering Education: CASE in Tools Example.- Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems.- EMPIRICAL STUDIES.- Experience in monitoring EEG signals during summer student internships.- A Study of Cooperative Thinking.- TOOLS AND AUTOMATION.- Analysis of Development Tool Usage in Software Engineering Classes.- Applying test-driven development for improved feedback and automation of grading in academic courses on software development.- GLOBALIZATION OF EDUCATION.- Internationalization Strategy of Innopolis University.- Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization.- TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT).- Automated Cross-Language Integration Based on Formal Model of Components.- Scalable Thread-Modular Approach for Data Race Detection.- On the development of the compiler from C to the processor with FPGA accelerator.