Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering

被引：0

作者：

Ait-Ameur, Yamine ^{[1
]}

Palanque, Philippe ^{[2
]}

机构：

[1] ENSEEIHT, ACADIE IRIT, Toulouse, France

[2] Univ Toulouse III, ICS IRIT, Toulouse, France

来源：

SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS | 2018年 / 11176卷

关键词：

Formal methods; Interactive systems; FMIS;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents the rationale and the content of the Formal Methods for Interactive Systems that was organized alongside Software Technologies: Applications and Foundations (STAF) in Toulouse, in June 2018.

引用

页码：202 / 204

页数：3

共 50 条

[21] Formal methods software engineering for the CARA system
Martin J.C.
[J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (4) : 301 - 307
[22] Special issue on ‘Software Engineering and Formal Methods’
[J]. Science of Computer Programming, 2023, 225
[23] Special issue on 'Software Engineering and Formal Methods'
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[24] Embedding Formal Methods into Systems Engineering
Veith, Helmut
[J]. 11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 11 - 11
[25] Software (Formal methods)
[J]. NZ Eng, 5 (18):
[26] Formal methods: Mathematics, computer science or software engineering?
Tremblay, G
[J]. IEEE TRANSACTIONS ON EDUCATION, 2000, 43 (04) : 377 - 382
[27] Pinnacles of software engineering: 25 years of formal methods
Bjorner, D
[J]. ANNALS OF SOFTWARE ENGINEERING, 2000, 10 : 11 - 66
[28] Formal Methods in Agent-Oriented Software Engineering
El Fallah-Seghrouchni, Amal
Gomez-Sanz, Jorge J.
Singh, Munindar P.
[J]. AGENT-ORIENTED SOFTWARE ENGINEERING X, 2011, 6038 : 213 - +
[29] Teaching formal methods early in the software engineering curriculum
Sobel, Ann E.K.
Saiedian, Hossein
Stavely, Allan
Henderson, Peter
[J]. Software Engineering Education Conference, Proceedings, 2000, : 55 - 56
[30] On Complementing an Undergraduate Software Engineering Course with Formal Methods
Westphal, Bernd
[J]. 2020 IEEE 32ND CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2020, : 219 - 228

← 1 2 3 4 5 →