LEADER 06341nam 22007215 450 001 996418293103316 005 20200903194257.0 010 $a3-030-57663-9 024 7 $a10.1007/978-3-030-57663-9 035 $a(CKB)4100000011384263 035 $a(DE-He213)978-3-030-57663-9 035 $a(MiAaPQ)EBC6297584 035 $a(PPN)250220547 035 $a(EXLCZ)994100000011384263 100 $a20200903d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFrontiers in Software Engineering Education$b[electronic resource] $eFirst International Workshop, FISEE 2019, Villebrumier, France, November 11?13, 2019, Invited Papers /$fedited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XI, 401 p. 96 illus., 65 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v12271 311 $a3-030-57662-0 327 $aCOURSE 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. 330 $aThis book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France. The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part "TOOLS Workshop: Artificial and Natural Tools (ANT)" contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference. FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France. 410 0$aProgramming and Software Engineering ;$v12271 606 $aSoftware engineering 606 $aComputer programming 606 $aEducation?Data processing 606 $aComputer logic 606 $aDatabase management 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputers and Education$3https://scigraph.springernature.com/ontologies/product-market-codes/I24032 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aEducation?Data processing. 615 0$aComputer logic. 615 0$aDatabase management. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aComputers and Education. 615 24$aLogics and Meanings of Programs. 615 24$aDatabase Management. 676 $a005.1071 702 $aBruel$b Jean-Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCapozucca$b Alfredo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMazzara$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeyer$b Bertrand$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNaumchev$b Alexandr$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSadovykh$b Andrey$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418293103316 996 $aFrontiers in Software Engineering Education$91972606 997 $aUNISA