Omslagsbillede

Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers /

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during January 23-25, 2023. The Editorial and the 8 papers included in this volume were considerably enhanc...

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Capozucca, Alfredo (Editor), Ebersold, Sophie (Editor), Bruel, Jean-Michel (Editor), Meyer, Bertrand (Editor)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Udgivelse:	1st ed. 2023.
Serier:	Lecture Notes in Computer Science, 14387
Fag:	Software engineering. Computer programming. Education > Data processing. Database management. Computer science. Software Engineering. Programming Techniques. Computers and Education. Database Management. Computer Science Logic and Foundations of Programming.
Online adgang:	https://doi.org/10.1007/978-3-031-48639-5
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24–25, 2023, Revised Selected Papers /
Udgivet: (2024)

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25–26, 2022, Revised Selected Papers /
Udgivet: (2023)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Udgivet: (2023)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Udgivet: (2023)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Udgivet: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Udgivet: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Udgivet: (2023)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Udgivet: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Udgivet: (2024)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Udgivet: (2023)

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Udgivet: (2025)

SAMS teach yourself coldFusion in 21 days
af: Mohnike, Charles
Udgivet: (2000)

Managing Software Supply Chains Theory and Practice /
af: Wang, Ying, et al.
Udgivet: (2025)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Udgivet: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Udgivet: (2024)

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers /
Udgivet: (2024)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Udgivet: (2023)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Udgivet: (2023)

Advanced Information Systems Engineering 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings /
Udgivet: (2023)

Software Engineering for Students : A Programming Approach /
af: Bell, Douglas
Udgivet: (2005)

Software Engineering for Students : A Programming Approach /
af: Bell, Douglas
Udgivet: (2005)

Software Engineering for Students : A Programming Approach /
af: Bell, Douglas
Udgivet: (2005)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Udgivet: (2024)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Udgivet: (2025)

Learn dBase Programming in a Day
af: Stultz, Russell A.
Udgivet: (1990)

C++ Database Development
af: Stevens, Al
Udgivet: (1992)

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers /
Udgivet: (2024)

Electronic Governance with Emerging Technologies Second International Conference, EGETC 2023, Poznan, Poland, September 11–12, 2023, Revised Selected Papers /
Udgivet: (2023)

Software Tools in Pascal /
af: Kernighan, Brian W.
Udgivet: (1981)

Software Tools in Pascal
af: Kernighan, Brian W
Udgivet: (1981)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Udgivet: (2023)

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8–11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers /
Udgivet: (2025)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Udgivet: (2025)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Udgivet: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Udgivet: (2024)

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19–20, 2024, Proceedings /
Udgivet: (2024)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Udgivet: (2023)