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 条
  • [1] Teaching formal methods in context
    Davies, J
    Simpson, A
    Martin, A
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 185 - 202
  • [2] Stages in Teaching Formal Methods
    Cowling, A. J.
    23RD ANNUAL IEEE-CS CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEET 2010), 2010, : 17 - 24
  • [3] Teaching Coloured Petri Nets a gentle introduction to formal methods in a distributed systems course
    Christensen, S
    Mortensen, KH
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 290 - 309
  • [4] Distributed teaching methods
    Eyre, Peter
    JAVMA-JOURNAL OF THE AMERICAN VETERINARY MEDICAL ASSOCIATION, 2012, 241 (02): : 178 - 178
  • [5] Distributed cooperative formal methods tools
    Goguen, J
    Lin, K
    Mori, A
    Rosu, G
    Sato, A
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 55 - 62
  • [6] Teaching Formal Methods to Future Engineers
    Dubois, Catherine
    Prevosto, Virgile
    Burel, Guillaume
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 69 - 80
  • [7] Teaching Formal Methods for the Unconquered Territory
    Catano, Nestor
    Rueda, Camilo
    TEACHING FORMAL METHODS, PROCEEDINGS, 2009, 5846 : 2 - +
  • [8] Teaching of Formal Methods for Software Engineering
    Spichkova, Maria
    Zamansky, Anna
    ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 370 - 376
  • [9] Teaching Formal Methods and Discrete Mathematics
    Jaume, Mathieu
    Laurent, Theo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (149): : 30 - 43
  • [10] Reengineering of distributed systems using formal methods
    Kleuker, S
    SECOND EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1998, : 189 - 192
12345