Embedding Formal Methods into Systems Engineering

被引：1
|
作者：
Veith, Helmut [1 ]
机构：
[1] Vienna Univ Technol, Inst Informationssyst, Formal Methods Syst Engn, A-1060 Vienna, Austria
来源：
11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009) | 2009年
关键词：
formal methods; model checking; testing; concurrent systems; cloud computing; embedded systems; automotive software; avionic software;
D O I：
10.1109/SYNASC.2009.71
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：11 / 11
页数：1
相关论文
共 50 条
  • [1] Formal Methods for Systems Engineering Behavior Models
    Seidner, Charlotte
    Roux, Olivier H.
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2008, 4 (04) : 280 - 291
  • [2] 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
  • [3] Embedding formal development in software engineering
    Robinson, K
    [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 203 - 213
  • [4] 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
  • [5] Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering
    Ait-Ameur, Yamine
    Palanque, Philippe
    [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 202 - 204
  • [6] Formal methods for the re-engineering of computing systems: A comparison
    Liu, X
    Yang, H
    Zedan, H
    [J]. COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 409 - 414
  • [7] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [8] Formal methods for requirements engineering
    Ghose, A
    [J]. INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 13 - 13
  • [9] 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
  • [10] Formal methods in knowledge engineering
    VanHarmelen, F
    Fensel, D
    [J]. KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 345 - 360
12345