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 条
  • [1] 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.
    [J]. IEEE INTELLIGENT SYSTEMS, 2006, 21 (06) : 71 - 81
  • [2] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [3] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [4] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [5] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [6] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [7] Formal methods for interactive systems
    Cerone, Antonio
    Curzon, Paul
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (02) : 123 - 123
  • [8] Formal methods for interactive systems
    Antonio Cerone
    Paul Curzon
    [J]. Innovations in Systems and Software Engineering, 2008, 4 (2) : 123 - 123
  • [9] Empirical Software Engineering and formal Methods for IoT Systems
    Basile, Davide
    ter Beek, Maurice
    Broccia, Giovanna
    Ferrari, Alessio
    [J]. ERCIM NEWS, 2022, (131): : 34 - 35
  • [10] Methods and tools for formal software engineering
    Liu, Zhiming
    Venkatesh, R.
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +
12345