2021 Third International Workshop On Software Engineering Education For The Next Generation Seeng

The goal in this third edition is to continue to bring together main stakeholders to discuss the unique needs and challenges of software engineering education for the next generation Building on its predecessor, the workshop will use a highly interactive format, structured around short presentations to generate discussion topics, an activity to select the most interesting topics, and structured breakout sessions to allow participants to address those topics

Following the SECM 2017, SEEM 2018, SEENG 2021 and SEENG 2022 our goal in this 5th edition is to continue to bring together main stakeholders to discuss the unique needs and challenges of software engineering education for the next generation Building on its predecessor, the workshop will use a highly interactive format, structured around short presentations to generate discussion topics, an activity to select the most interesting topics, and structured breakout sessions to allow participants to address those topics

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.

This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023. The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its applications; competitions, problem solving, and computational; robotics and unplugged modalities; and curricula and computer science concepts. This is an open access book.

Millennials and Generation Z have been dominating higher education programs for some time In a decade, our classes will be hosting Generation Alpha We have all noticed that these cohorts have unique needs and different learning styles, social behaviors, and skills With their increasing mobility, our classes will become more and more diverse Our students will become increasingly collaborative, socially aware, tech savvy, multi disciplinary, and interested in emerging technologies How shall the software industry capitalize on the mix of qualities that the new breed of software engineers will possess? How shall software engineering educators effectively and equitably cater to the students , society s, and industry s evolving and diverse interests while ensuring that the next generation of software engineers learn the timeless principles, have a firm grounding in both software engineering theory and practice, behave responsibly, and make a positive contribution to the society?

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held during June 28-July 2, 2021. The conference was planned to take place in Melbourne, Australia, but changed to an online format due to the COVID-19 pandemic. The workshops included in this volume are: · BC4IS: 1st International Workshop on Blockchain for Information Systems · EMoBI : 3rd International Workshop on Ethics and Morality in Business Informatics · KET4DF : 3rd International Workshop on Key Enabling Technology for Digital Factories · MOBA: 1st International Workshop on Model-driven Organizational and Business Agility · NeGIS: 2nd International Workshop on Next Generation Information Systems They focus on topics and trends ranging from blockchain technologies to digital factories, ethics, and business agility to the next generation of information systems. The 14 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 33 submissions.

After running as one of the most successful workshops at ICSE 2020, the International Workshop on Testing for Deep Learning and Deep Learning for Testing (DeepTest) returns once more as a co located workshop at the ACM IEEE International Conference on Software Engineering (ICSE) in 2021

ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research