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 条
  • [31] Formal verification of dynamic UML diagrams using TLA
    Couzinier, M
    Féraud, L
    PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL MULTI-CONFERENCE ON AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY - SOFTWARE ENGINEERING, 2005, : 85 - 91
  • [32] An overview of a method and its support tool for generating B specifications from UML notations
    Laleau, R
    Mammar, A
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 269 - 272
  • [33] Formal proof from UML models
    Amálio, N
    Stepney, S
    Polack, F
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 418 - 433
  • [34] FORMAL VERIFICATION OF UML MARTE SPECIFICATIONS BASED ON A TRUE CONCURRENCY REAL TIME MODEL
    Chabbat, Nadia
    Saidouni, Djamel Eddine
    Boukharrou, Radja
    Ghanemi, Salim
    COMPUTING AND INFORMATICS, 2020, 39 (05) : 1022 - 1060
  • [35] Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model
    Chabbat N.
    Saidouni D.E.
    Boukharrou R.
    Ghanemi S.
    Computing and Informatics, 2021, 39 (05) : 1022 - 1060
  • [36] Understanding B specifications with UML class diagram and OCL constraints
    Tatibouet, B.
    Jacques, I.
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 475 - +
  • [37] From formal specifications to QoS monitors
    Saudrais, Sebastien
    Barais, Olivier
    Duchien, Laurence
    Plouzeau, Noel
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (11): : 7 - 24
  • [38] SIMULATING MICROPROCESSORS FROM FORMAL SPECIFICATIONS
    HALL, KM
    WINDLEY, PJ
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 507 - 525
  • [39] Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines
    Cavarra, A
    Riccobene, E
    Scandurra, P
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 229 - 243
  • [40] Automatic testing from formal specifications
    Satpathy, Manoranjan
    Butler, Michael
    Leuschel, Michael
    Ramesh, S.
    TESTS AND PROOFS, 2007, 4454 : 95 - +
12345