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 条
  • [31] Special issue on 'Software Engineering and Formal Methods' Preface
    不详
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
  • [32] SoSyM Special Section on Software Engineering and Formal Methods
    Jorge Cuellar
    Zhiming Liu
    [J]. Software & Systems Modeling, 2007, 6 : 37 - 38
  • [33] SoSyM special section on software engineering and formal methods
    Cuellar, Jorge
    Liu, Zhiming
    [J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
  • [34] Formal methods: mathematics, computer science or software engineering?
    [J]. Tremblay, Guy, 2000, IEEE, Piscataway, NJ, United States
  • [35] Formal Methods for Systems Engineering Behavior Models
    Seidner, Charlotte
    Roux, Olivier H.
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2008, 4 (04) : 280 - 291
  • [36] Special Issue: Formal Methods for Interactive Systems Preface
    Reeves, Steve
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
  • [37] Formal methods and software reliability
    Holzmann, GJ
    [J]. SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
  • [38] Formal Methods for Software Testing
    Gaudel, Marie-Claude
    [J]. PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 1 - 3
  • [39] Formal systems, not methods
    Loomes, M
    Christianson, B
    Davey, N
    [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 47 - 64
  • [40] Methods of Formal Software Verification in the Context of Distributed Systems
    Fatkina, Anna
    Iakushkin, Oleg
    Selivanov, Dmitry
    Korkhov, Vladimir
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2019, PT II: 19TH INTERNATIONAL CONFERENCE, SAINT PETERSBURG, RUSSIA, JULY 1-4, 2019, PROCEEDINGS, PART II, 2019, 11620 : 546 - 555
12345