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 条
  • [1] Dynamic graphical UML views from formal B specifications
    Idani, A
    Ledru, Y
    INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (03) : 154 - 169
  • [2] From informal to formal specifications in UML
    Giese, M
    Heldal, R
    UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS, 2004, 3273 : 197 - 211
  • [3] UML Models Engineering from Static and Dynamic Aspects of Formal Specifications
    Idani, Akram
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2009, 29 : 237 - 250
  • [4] A translation of UML components into formal specifications
    Peng, L
    Romanczuk, A
    Royer, JC
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, SYSTEMS AND ARCHITECTURES, 2003, 732 : 60 - 75
  • [5] Industrial integration of graphical and formal specifications
    Armstrong, J
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 40 (03) : 211 - 225
  • [6] Automatic translation from UML specifications to B
    Ledang, H
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 436 - 436
  • [7] Transformation of UML models into formal RTPA specifications
    Tian, Yousheng
    Wang, Yingxu
    2007 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, 2007, : 1259 - 1262
  • [8] Derivation of UML class diagrams as static views of formal B developments
    Idani, A
    Ledru, Y
    Bert, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 37 - 51
  • [9] From Graphical Model in UML Activity Diagrams to Formal Specification in Event B for Workflow Applications Modeling
    Ben Younes, Ahlem
    Ben Ayed, Leila Jemni
    PROCEEDINGS OF INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY (ISCSCT 2009), 2009, : 496 - 499
  • [10] From graphical representations to formal specifications and return: Translation algorithms in the harmony environment
    Dascalu, SM
    Hitchcock, P
    Debnath, NC
    Klempau, A
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 215 - 221
12345