Formal systems, not methods

被引：0
|
作者：
Loomes, M [1 ]
Christianson, B [1 ]
Davey, N [1 ]
机构：
[1] Univ Hertfordshire, Hatfield AL10 9AB, Herts, England
来源：
TEACHING FORMAL METHODS, PROCEEDINGS | 2004年 / 3294卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we will present an approach for teaching formalisms to Computer Science undergraduate students that has been developed over the past 23 years at the University of Hertfordshire (formerly Hatfield Polytechnic). We discuss the background and the evolution of the approach, the theoretical underpinning, the political motivation and some of the pedagogic issues that arise. Examples of the ways in which the generic approach has been specialised for different classes of students are discussed, and some of the implications for other curriculum areas that typically accompany these courses will be briefly mentioned.
引用
收藏
页码：47 / 64
页数：18
相关论文
共 50 条
  • [31] Formal methods and automated verification of critical systems
    ter Beek, Maurice H.
    Gnesi, Stefania
    Knapp, Alexander
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 355 - 358
  • [32] Invisible formal methods for embedded control systems
    Tiwari, A
    Shankar, N
    Rushby, J
    PROCEEDINGS OF THE IEEE, 2003, 91 (01) : 29 - 39
  • [33] On Methods for the Formal Specification of Fault Tolerant Systems
    Mazzara, Manuel
    PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DEPENDABILITY (DEPEND 2011), 2011, : 72 - 81
  • [34] Formal methods and tools for industrial critical systems
    Alberto Lluch Lafuente
    Anastasia Mavridou
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 973 - 976
  • [35] Formal methods and tools for industrial critical systems
    ter Beek, Maurice H.
    Larsen, Kim G.
    Nickovic, Dejan
    Willemse, Tim A. C.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (03) : 325 - 330
  • [36] Formal methods for railway control systems INTRODUCTION
    Fantechi, Alessandro
    Flammini, Francesco
    Gnesi, Stefania
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (06) : 643 - 646
  • [37] Formal Methods for Systems Engineering Behavior Models
    Seidner, Charlotte
    Roux, Olivier H.
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2008, 4 (04) : 280 - 291
  • [38] LOGIC FOR SYSTEMS: A GRADUAL INTRODUCTION TO FORMAL METHODS
    Krishnamurthi, Shriram
    Nelson, Tim
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2025, (144): : 137 - 150
  • [39] Combining Formal Methods for the Development of Reactive Systems
    Mosbahi, Olfa
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [40] Formal Methods for Adaptive Control of Dynamical Systems
    Sadraddini, Sadra
    Belta, Calin
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
12345