Weaving a Formal Methods Education with Problem-Based Learning

被引：0
|
作者：
Gibson, J. Paul [1 ]
机构：
[1] Le Département Logiciels-Réseaux, IT-SudParis, 9 rue Charles Fourier, 91011 Évry cedex, France
来源：
Communications in Computer and Information Science | 2009年 / 17卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：460 / 472
相关论文
共 50 条
  • [1] Weaving a Formal Methods Education with Problem-Based Learning
    Gibson, J. Paul
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 460 - 472
  • [2] Problem-based learning in formal and informal learning environments
    Shimic, Goran
    Jevremovic, Aleksandar
    [J]. INTERACTIVE LEARNING ENVIRONMENTS, 2012, 20 (04) : 351 - 367
  • [3] INNOVATIVE NEW METHODS FOR BUSINESS EDUCATION - PROBLEM-BASED LEARNING
    Nistor, Cristina
    Surugiu, Felicia
    Surugiu, Gheorghe
    [J]. BALKAN REGIONAL CONFERENCE ON ENGINEERING AND BUSINESS EDUCATION & ICEBE, VOLS I AND II, CONFERENCE PROCEEDINGS, 2009, : 178 - 181
  • [4] PROBLEM-BASED LEARNING IN TEACHING FORMAL SPECIFICATION
    Roslina, M. S.
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING (ICACTE 2009), VOLS 1 AND 2, 2009, : 671 - 677
  • [5] Problem-based learning in teacher education
    Hung, Min-Ling
    Tsai, Chia-Wen
    [J]. HIGHER EDUCATION RESEARCH & DEVELOPMENT, 2020, 39 (05) : 1070 - 1072
  • [6] Problem-based learning in osteopathic education
    Lalonde, Francois
    [J]. INTERNATIONAL JOURNAL OF OSTEOPATHIC MEDICINE, 2013, 16 (04) : 216 - 219
  • [7] MALESAbrain for problem-based learning in IT education
    Chiang, A
    Baba, MS
    [J]. 5th IEEE International Conference on Advanced Learning Technologies, Proceedings, 2005, : 570 - 574
  • [8] Problem-Based Learning in Teacher Education
    Bridges, Susan M.
    [J]. INTERDISCIPLINARY JOURNAL OF PROBLEM-BASED LEARNING, 2019, 13 (01):
  • [9] Problem-Based Learning in Veterinary Education
    Lane, Elizabeth A.
    [J]. JOURNAL OF VETERINARY MEDICAL EDUCATION, 2008, 35 (04) : 631 - 636
  • [10] Problem-based learning in medical education
    Dwinnell, BG
    Adams, L
    [J]. HOSPITAL PRACTICE, 1998, 33 (11): : 15 - +
12345