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 条
  • [21] Teaching formal methods early in the software engineering curriculum
    Sobel, Ann E.K.
    Saiedian, Hossein
    Stavely, Allan
    Henderson, Peter
    Software Engineering Education Conference, Proceedings, 2000, : 55 - 56
  • [22] Teaching Formal Methods to Undergraduate Students Using Maude
    Olveczky, Peter Csaba
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2022, 2022, 13252 : 85 - 110
  • [23] Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
    Fleischmann, Pamela
    Kulczynski, Mitja
    Nowotka, Dirk
    Wilke, Thomas
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 181 - 195
  • [24] Advertising formal methods and organizing their teaching: Yes, but...
    Mandrioli, D
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 214 - 224
  • [25] Teaching Formal Methods Based on Rewriting Logic and Maude
    Olveczky, Peter Csaba
    TEACHING FORMAL METHODS, PROCEEDINGS, 2009, 5846 : 20 - 38
  • [26] On Teaching Formal Methods: Behavior Models and Code Analysis
    Kofron, Jan
    Parizek, Pavel
    Sery, Ondrej
    TEACHING FORMAL METHODS, PROCEEDINGS, 2009, 5846 : 144 - 157
  • [27] Combining Semi-Formal and Formal Methods for the Developement of Distributed Reconfigurable Control Systems
    Oueslati, Raja
    Mosbahi, Olfa
    Khalgui, Mohamed
    Li, Zhiwu
    Qu, Ting
    IEEE ACCESS, 2018, 6 : 70426 - 70443
  • [28] Teaching Formal Methods: From Software in the Small to Software in the Large
    Gallardo, Maria-del-Mar
    Panizo, Laura
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 97 - 110
  • [29] Exercises for teaching logic in a formal methods course: Formalizing ERDs
    Tremblay, G
    PROCEEDINGS OF THE THIRTIETH SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 1999, : 100 - 104
  • [30] NON-FORMAL METHODS IN TEACHING STUDENTS IN THE REPUBLIC OF CYPRUS
    Zamfirov, Milen
    Leontiou, Giorgos
    PEDAGOGIKA-PEDAGOGY, 2018, 90 (02): : 268 - 277
12345