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 条
  • [41] Crossing the borderline - From formal to semi-formal specifications
    Bollin, Andreas
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84
  • [42] From UML State Machines to Verifiable Lotos Specifications
    Babaee, Reza
    Babamir, Seyed Morteza
    INNOVATIVE COMPUTING TECHNOLOGY, 2011, 241 : 121 - 129
  • [43] From declarative to imperative UML/OCL operation specifications
    Cabot, Jordi
    CONCEPTUAL MODELING - ER 2007, PROCEEDINGS, 2007, 4801 : 198 - 213
  • [44] Automating functional testing of components from UML specifications
    Barbosa, Daniel L.
    Lima, Helton S.
    Machado, Patricia D. L.
    Figueiredo, Jorge C. A.
    Juca, Makelli A.
    Andrade, Wilkerson L.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2007, 17 (03) : 339 - 358
  • [45] From UML/OCL to ADOxx specifications: how to do it
    Esperguel, Marcelo
    Sepulveda, Samuel
    2018 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION/XXIII CONGRESS OF THE CHILEAN ASSOCIATION OF AUTOMATIC CONTROL (ICA-ACCA), 2018,
  • [46] From UML/OCL to SBVR specifications: A challenging transformation
    Cabot, Jordi
    Pau, Raquel
    Raventos, Ruth
    INFORMATION SYSTEMS, 2010, 35 (04) : 417 - 440
  • [47] Conformance Testing from UML Specifications Experience Report
    LRS-IMAG, BP 72, St Martin d'Hères cedex
    38402, France
    不详
    13881, France
    不详
    35042, France
    Lect. Notes Informatics (LNI), Proc. - Series Ges. Inform. (GI), (43-55):
  • [48] TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
    Menad, Nadia
    Dhaussy, Philippe
    Drey, Zoe
    Mekki, Rachida
    COMPUTING AND INFORMATICS, 2016, 35 (02) : 338 - 368
  • [49] Generating tests from B specifications and dynamic selection criteria
    Julliand, Jacques
    Masson, Pierre-Alain
    Tissot, Regis
    Bue, Pierre-Christophe
    FORMAL ASPECTS OF COMPUTING, 2011, 23 (01) : 3 - 19
  • [50] From the formal specifications of users tasks to the automatic generation of the HCI specifications
    Mahfoudhi, A
    Abed, M
    Tabary, D
    PEOPLE AND COMPUTERS XV - INTERACTION WITHOUT FRONTIERS, 2001, : 331 - 347
12345