The Role of Formal Methods in Computer Science Education

被引：0
|
作者：
ter Beek, Maurice H. [1 ]
Broy, Manfred [2 ]
Dongol, Brijesh [3 ]
机构：
[1] CNR-ISTI, Pisa, Italy
[2] Technische Universität München, Bayern, München, Germany
[3] University of Surrey, Surrey, Guildford, United Kingdom
来源：
ACM Inroads | 2024年 / 15卷 / 04期
关键词：
D O I：
10.1145/3702231
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：58 / 66
相关论文
共 50 条
  • [1] On Formal Methods Thinking in Computer Science Education
    Dongol, Brijesh
    Dubois, Catherine
    Hallerstede, Stefan
    Hehner, Eric
    Morgan, Carroll
    Müller, Peter
    Ribeiro, Leila
    Silva, Alexandra
    Smith, Graeme
    Vink, Erik De
    Formal Aspects of Computing, 2024, 37 (01)
  • [2] Computer literacy as a formal requirement in library science education
    Lowell, KE
    JOURNAL OF EDUCATION FOR LIBRARY AND INFORMATION SCIENCE, 1997, 38 (03) : 191 - 199
  • [3] Formal methods: Mathematics, computer science or software engineering?
    Tremblay, G
    IEEE TRANSACTIONS ON EDUCATION, 2000, 43 (04) : 377 - 382
  • [4] Structuring Formal Methods into the Undergraduate Computer Science Curriculum
    Ramnath, Sarnath
    Walk, Stephen
    NASA FORMAL METHODS, NFM 2024, 2024, 14627 : 399 - 405
  • [5] Formal methods: mathematics, computer science or software engineering?
    Tremblay, Guy, 2000, IEEE, Piscataway, NJ, United States
  • [6] The Role of Visualization in Computer Science Education
    Fouh, Eric
    Akbar, Monika
    Shaffer, Clifford A.
    COMPUTERS IN THE SCHOOLS, 2012, 29 (1-2) : 95 - 117
  • [7] Integrating formal methods tools into undergraduate computer science curriculum
    Skevoulis, Sotiris
    Makarov, Vladimir
    36TH ANNUAL FRONTIERS IN EDUCATION, CONFERENCE PROGRAM, VOLS 1-4: BORDERS: INTERNATIONAL, SOCIAL AND CULTURAL, 2006, : 1451 - +
  • [8] NEW METHODS FOR LEARNING IN COMPUTER SCIENCE EDUCATION
    Iunia-Cristina, Borza
    6TH BALKAN REGION CONFERENCE ON ENGINEERING AND BUSINESS EDUCATION & 5TH INTERNATIONAL CONFERENCE ON ENGINEERING AND BUSINESS EDUCATION & 4TH INTERNATIONAL CONFERENCE ON INNOVATION AND ENTREPRENEURSHIP, 2012, : 629 - 632
  • [9] METHODS IN COMPUTER SCIENCE EDUCATION IN HIGH SCHOOLS
    De Vitis, A.
    EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2019, : 1415 - 1422
  • [10] Transforming Elementary Science Teacher Education by Bridging Formal and Informal Science Education in an Innovative Science Methods Course
    Kelly Riedinger
    Gili Marbach-Ad
    J. Randy McGinnis
    Emily Hestness
    Rebecca Pease
    Journal of Science Education and Technology, 2011, 20 : 51 - 64
12345