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 条

[21] Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX
Banach, Richard
Razavi, Joe
Lesecq, Suzanne
Debicki, Olivier
Mareau, Nicolas
Foucault, Julie
Correvon, Marc
Dudnik, Gabriela
COMPLEX SYSTEMS DESIGN & MANAGEMENT, CSD&M 2018, 2019, : 3 - 15
[22] Using formal methods for autonomous systems: Five recipes for formal verification
Luckcuck, Matt
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2023, 237 (02) : 278 - 292
[23] Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering
Ait-Ameur, Yamine
Palanque, Philippe
SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 202 - 204
[24] Formal methods and tools for industrial critical systems
Lafuente, Alberto Lluch
Mavridou, Anastasia
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 973 - 976
[25] FORMAL METHODS FOR ACTOR SYSTEMS - A PROGRESS REPORT
AGHA, G
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 217 - 228
[26] Reengineering of distributed systems using formal methods
Kleuker, S
SECOND EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1998, : 189 - 192
[27] Formal methods and automated verification of critical systems
Maurice H. ter Beek
Stefania Gnesi
Alexander Knapp
International Journal on Software Tools for Technology Transfer, 2018, 20 : 355 - 358
[28] Lightweight formal methods for computer algebra systems
Univ of St. Andrews, United Kingdom
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, : 80 - 87
[29] Using formal methods to design Measuring Systems
Lukaszewski, Robert
Winiecki, Wieslaw
2005 IEEE INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS, 2005, : 349 - 354
[30] Combining formal methods for the development of reactive systems
Mosbahi, Olfa
Khalgui, Mohamed
INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2011, 42 (2-3) : 127 - 149

← 1 2 3 4 5 →