Distributed teaching of formal methods

被引：0
|
作者：
Pepper, P [1 ]
机构：
[1] Tech Univ Berlin, D-1000 Berlin, Germany
来源：
TEACHING FORMAL METHODS, PROCEEDINGS | 2004年 / 3294卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper argues that the education in formal methods cannot be located in a few distinguished courses. Rather it has to spread throughout the curriculum such that its spirit is found in many courses. To this end, one needs a way of presenting the underlying concepts of formal methods in an informal style that is amenable even to beginner students.
引用
收藏
页码：140 / 152
页数：13
相关论文
共 50 条
  • [41] More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
    Noble, James
    Streader, David
    Gariano, Isaac Oscar
    Samarakoon, Miniruwani
    NASA FORMAL METHODS (NFM 2022), 2022, 13260 : 431 - 450
  • [42] Teaching Formal Methods in Application Domains A Case Study in Computer and Network Security
    Brucker, Achim D.
    Marmsoler, Diego
    FORMAL METHODS TEACHING, FMTEA 2024, 2024, 14939 : 124 - 140
  • [43] Using formal methods for teaching software engineering: a tool-based approach
    Ciancarini, P
    Mascolo, C
    ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 433 - 453
  • [44] Specification-driven design with Eiffel and agents for teaching lightweight formal methods
    Paige, RF
    Ostroff, JS
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 107 - 123
  • [45] Teaching Formal Methods: Lessons Learnt from Using Event-B
    Catano, Nestor
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 212 - 227
  • [46] Teaching Formal Methods for 10 Years: Reflections on theories, tools, materials, and communities
    Carvalho, Gustavo
    FORMAL METHODS TEACHING, FMTEA 2024, 2024, 14939 : 58 - 74
  • [47] Formal methods
    Lowe, M
    FIRST EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1997, : 43 - 43
  • [48] Mapping of Primary Instructional Methods and Teaching Techniques for Regularly Scheduled, Formal Teaching Sessions in an Anesthesia Residency Program
    Madsen, Matias Vested
    Macario, Alex
    Yamamoto, Satoshi
    Tanaka, Pedro
    A & A CASE REPORTS, 2016, 6 (11) : 343 - 347
  • [49] Formal composition of distributed scenarios
    Salah, A
    Mizouni, R
    Dssouli, R
    Parreaux, B
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 213 - 228
  • [50] Formal Derivation of Distributed MapReduce
    Pereverzeva, Inna
    Butler, Michael
    Fathabadi, Asieh Salehi
    Laibinis, Linas
    Troubitsyna, Elena
    ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, 2014, 8477 : 238 - 254
12345