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 条

[41] Tutorial on formal methods for distributed and cooperative systems
Choppy, Christine
Haddad, Serge
Klaudel, Hanna
Kordon, Fabrice
Petrucci, Laure
Thierry-Mieg, Yarm
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 362 - 365
[42] Formal methods and tools for industrial critical systems
Maurice H. ter Beek
Kim G. Larsen
Dejan Ničković
Tim A. C. Willemse
International Journal on Software Tools for Technology Transfer, 2022, 24 : 325 - 330
[43] Formal methods in real-time systems
Olderog, ER
10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 254 - 263
[44] Intelligent systems and formal methods in software engineering
Beckert, Bernhard
Hoare, Tony
Hahnle, Reiner
Smith, Douglas R.
Green, Cordell
Ranise, Silvio
Tinelli, Cesare
Ball, Thomas
Rajamani, Sriram K.
IEEE INTELLIGENT SYSTEMS, 2006, 21 (06) : 71 - 81
[45] Formal methods in a system-of-systems development
Caffall, DS
Michael, JB
INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 1856 - 1863
[46] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
MCARTHUR, N
CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
[47] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
Schoitsch, Erwin
ERCIM NEWS, 2009, (78): : 9 - 9
[48] Formal methods for design and testing of composite reactive systems
Petrenko, A
WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98, 1998, : 242 - 248
[49] Formal methods unifying computing science and systems theory
Boute, R
ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 2, PROCEEDINGS: COMMUNICATIONS, INFORMATION AND CONTROL SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 84 - 89
[50] Example Applications of Formal Methods to Aerospace and Autonomous Systems
Humphrey, Laura
2023 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY, ICAA, 2023, : 67 - 75

← 1 2 3 4 5 →