Dynamic graphical UML views from formal B specifications

被引：0
|
作者：
Laboratoire Logiciels, Systèmes, Réseaux-IMAG, Joseph Fourier University, B.P. 72, F-38402 Saint Martin d'Heres Cedex, France [1 ]
机构：
来源：
Inf Software Technol | 2006年 / 3卷 / 154-169期
关键词：
Computer programming languages;
D O I：
10.1016/j.infsof.2005.03.008
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] From English to formal specifications
    Vadera, Sunil, 1600, Oxford Univ Press, Oxford, United Kingdom (37):
  • [22] Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
    Ul Muram, Faiz
    Tran, Huy
    Zdun, Uwe
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 93 - 107
  • [23] A Dynamic Graphical Method for Transformations and Curvature Specifications in Regression
    Seo, Han Son
    Yoon, Min
    KOREAN JOURNAL OF APPLIED STATISTICS, 2009, 22 (01) : 189 - 195
  • [24] A SET OF REFACTORING RULES FOR UML-B SPECIFICATIONS
    Najafi, Mehrnaz
    Haghighi, Hassan
    Nasab, Tahereh Zohdi
    COMPUTING AND INFORMATICS, 2016, 35 (02) : 411 - 440
  • [25] Consistency in UML and B multi-view specifications
    Ossami, DDO
    Jacquot, JP
    Souquières, J
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 386 - 405
  • [26] B Formal Modeling Based on UML Class
    Li, Tao
    Jia, Fengsheng
    2015 IEEE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING, COMMUNICATIONS AND COMPUTING (ICSPCC), 2015, : 469 - 474
  • [27] B Formal Modeling Based on UML Statechart
    Tao, Li
    Jia, Fengsheng
    Yao, Shuaijun
    2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 1658 - 1663
  • [28] Assertion-Based Dynamic Verification for Executable UML Specifications
    Sugai, Masahito
    Teruya, Akira
    Iwata, Ehchiro
    Zakaria, Nurul Azma
    Matsumoto, Noriko
    Yoshida, Norihiko
    PROCEEDINGS OF THE 8TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE (ACS'08): RECENT ADVANCES ON APPLIED COMPUTER SCIENCE, 2008, : 181 - +
  • [29] A fault model for fault injection analysis of dynamic UML specifications
    Ammar, HH
    Yacoub, SM
    Ibrahim, A
    12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2001, : 74 - 83
  • [30] Formal verification and validation of interactive systems specifications -: From informal specifications to formal validation
    Aït-Ameur, Y
    Breholée, B
    Girard, P
    Guittet, L
    Jambon, F
    HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT, 2004, 152 : 61 - 76
12345