@misc{Sekerinski23TeachingConcurrentProgrammingTalk,
	address = {Online},
	title = {Teaching {Concurrent} {Programming}},
	url = {https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/},
	abstract = {The education in programming has in a certain sense deteriorated since the 80’s and 90’s: programming languages and environments, as common in industry and to which students are exposed in Computer Science, Software Engineering, and related programs, have become complex. Mastering them consumes students to an extent that courses cannot decouple the (timeless) principles of programming from the (short-lived) specifics of the programming environments at hand; the mathematical background on program design is often not taught. This is particularly critical for concurrent programming, which has become increasingly relevant but cannot be mastered without a theoretical background. The author has been developing course material for a required 3rd year Software Engineering course at McMaster University, Concurrent System Design with around 170 students, since 2018 to address that issue by web-based interactive notebooks using Jupyter that combine explanations, the mathematical theory, and execution of programs directly in the notebooks. Correctness reasoning, including non-interference of processes, is explained through hierarchical state diagrams. This talk gives an overview of the course material, which is available as an open educational resource, and reports on the experience.},
	author = {Sekerinski, Emil},
	month = mar,
	year = {2023},
}

{"_id":"Zgy7NruYg7vjBR97m","bibbaseid":"sekerinski-teachingconcurrentprogramming-2023","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"misc","type":"misc","address":"Online","title":"Teaching Concurrent Programming","url":"https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/","abstract":"The education in programming has in a certain sense deteriorated since the 80’s and 90’s: programming languages and environments, as common in industry and to which students are exposed in Computer Science, Software Engineering, and related programs, have become complex. Mastering them consumes students to an extent that courses cannot decouple the (timeless) principles of programming from the (short-lived) specifics of the programming environments at hand; the mathematical background on program design is often not taught. This is particularly critical for concurrent programming, which has become increasingly relevant but cannot be mastered without a theoretical background. The author has been developing course material for a required 3rd year Software Engineering course at McMaster University, Concurrent System Design with around 170 students, since 2018 to address that issue by web-based interactive notebooks using Jupyter that combine explanations, the mathematical theory, and execution of programs directly in the notebooks. Correctness reasoning, including non-interference of processes, is explained through hierarchical state diagrams. This talk gives an overview of the course material, which is available as an open educational resource, and reports on the experience.","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"March","year":"2023","bibtex":"@misc{Sekerinski23TeachingConcurrentProgrammingTalk,\n\taddress = {Online},\n\ttitle = {Teaching {Concurrent} {Programming}},\n\turl = {https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/},\n\tabstract = {The education in programming has in a certain sense deteriorated since the 80’s and 90’s: programming languages and environments, as common in industry and to which students are exposed in Computer Science, Software Engineering, and related programs, have become complex. Mastering them consumes students to an extent that courses cannot decouple the (timeless) principles of programming from the (short-lived) specifics of the programming environments at hand; the mathematical background on program design is often not taught. This is particularly critical for concurrent programming, which has become increasingly relevant but cannot be mastered without a theoretical background. The author has been developing course material for a required 3rd year Software Engineering course at McMaster University, Concurrent System Design with around 170 students, since 2018 to address that issue by web-based interactive notebooks using Jupyter that combine explanations, the mathematical theory, and execution of programs directly in the notebooks. Correctness reasoning, including non-interference of processes, is explained through hierarchical state diagrams. This talk gives an overview of the course material, which is available as an open educational resource, and reports on the experience.},\n\tauthor = {Sekerinski, Emil},\n\tmonth = mar,\n\tyear = {2023},\n}\n\n","author_short":["Sekerinski, E."],"key":"Sekerinski23TeachingConcurrentProgrammingTalk","id":"Sekerinski23TeachingConcurrentProgrammingTalk","bibbaseid":"sekerinski-teachingconcurrentprogramming-2023","role":"author","urls":{"Paper":"https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/"},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["teaching","concurrent","programming","sekerinski"],"title":"Teaching Concurrent Programming","year":2023}