Using design patterns in formal methods: An Event-B approach

被引：0
|
作者：
Abrial, J. -R. [1 ]
Hoang, Thai Son [1 ]
机构：
[1] ETH, Zurich, Switzerland
来源：
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS | 2008年 / 5160卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [41] Formal Reasoning for Air Traffic Control System Using Event-B Method
    Jarrar, Abdessamad
    Balouki, Youssef
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2018), PT II, 2018, 10961 : 241 - 252
  • [42] Incremental Database Design using UML-B and Event-B
    Al-Brashdi, Ahmed
    Butler, Michael
    Rezazadeh, Abdolbaghi
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (271): : 34 - 47
  • [43] A CSP Approach to Control in Event-B
    Schneider, Steve
    Treharne, Helen
    Wehrheim, Heike
    INTEGRATED FORMAL METHODS, 2010, 6396 : 260 - +
  • [44] A LTS Approach to Control in Event-B
    Peng, Han
    Du, Chenglie
    Rao, Lei
    Chen, Fu
    SCIENTIFIC PROGRAMMING, 2018, 2018
  • [45] Rigorous Design of Lazy Replication System Using Event-B
    Suryavanshi, Raghuraj
    Yadav, Divakar
    CONTEMPORARY COMPUTING, 2012, 306 : 407 - +
  • [46] LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns
    Peng, Han
    Du, Chenglie
    Rao, Lei
    Liu, Zhouzhou
    JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2019, 15 (03): : 570 - 592
  • [47] Comparison of specification decomposition methods in Event-B
    Devyanin, P. N.
    Kulyamin, V. V.
    Petrenko, A. K.
    Khoroshilov, A. V.
    Shchepetkov, I. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2016, 42 (04) : 198 - 205
  • [48] Formal Modeling for Verifying SCA Dynamic Composition with Event-B
    Lahouij, Aida
    Hamel, Lazhar
    Graiet, Mohamed
    2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 29 - 34
  • [49] Graphical Transformation of OWL Ontologies to Event-B Formal Models
    Alkhammash, Eman H.
    CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 70 (02): : 3733 - 3750
  • [50] Towards the Formal Verification of a Java']Java Processor in Event-B
    Evans, Neil
    Grant, Neil
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 201 : 45 - 67
12345