Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

Authors :: Marie Farrell
Sebastian Krings
Peter Csaba Ölveczky
Rustam Zhumagambetov
Philipp Körner
Nikolay V. Shilov
Faron Moller
Markus Roggenbach
James H. Davenport
Antonio Cerone
Bernd Holger Schlingloff
Magne Haveraaen
Casey Denner
Source :: Communications in Computer and Information Science ISBN: 9783030713737
Publication Year :: 2021
Publisher :: Springer International Publishing, 2021.
Abstract: This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates

Subjects :: White paper
Higher education
business.industry
Computer science
020204 information systems
ComputingMilieux_COMPUTERSANDEDUCATION
0202 electrical engineering, electronic engineering, information engineering
020207 software engineering
02 engineering and technology
Formal methods
Software engineering
business
Curriculum

ISBN :: 978-3-030-71373-7
ISBNs :: 9783030713737
Database :: OpenAIRE
Journal :: Communications in Computer and Information Science ISBN: 9783030713737
Accession number :: edsair.doi.dedup.....e9a22dbed2d27a4141b9ef9a322ef160

Tools