Formal description for component-based architecture model transformation

被引：0
|
作者：
Hou, Jinkui [1 ]
Wang, Lei [1 ]
机构：
[1] School of Computer Engineering, Weifang University, Weifang, China
来源：
Journal of Networks | 2013年 / 8卷 / 04期
关键词：
D O I：
10.4304/jnw.8.4.874-881
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：874 / 881
相关论文
共 50 条
  • [41] Component-based Architecture Reconstruction by Patterns
    Moavena, Shahrouz
    Habibib, Jafar
    Mosaedc, Alireza Parvizi
    Alidoostid, Razie
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2016, 16 (07): : 172 - 180
  • [42] Component-based knowledge engineering architecture
    Kim, Won
    Chae, Ki-Joon
    Cho, Dong-Sub
    Choi, Byoungju
    Kim, Myung
    Lee, Ki-Ho
    Lee, Meejeong
    Lee, Sang-Ho
    Park, Seung-Soo
    Yong, Hwan-Seung
    JOOP - Journal of Object-Oriented Programming, 12 (06): : 40 - 70
  • [43] ENT: A Generic Meta-Model for the Description of Component-Based Applications
    Snajberk, Jaroslav
    Brada, Premek
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 279 (02) : 59 - 73
  • [44] A Formal Contract-based Model for Component-based Real-time Systems
    Trinh-Dong Nguyen
    Dang Van Hung
    Anh-Hoang Truong
    2017 4TH NAFOSTED CONFERENCE ON INFORMATION AND COMPUTER SCIENCE (NICS), 2017, : 230 - 235
  • [45] Formal Semantic of Component-based Reconfiguration Router Unit' s Software Model
    Liu Qiang
    Wang Bingqiang
    Huang Wanwei
    Wang Xianhui
    2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 348 - +
  • [46] rCOS: a formal model-driven engineering method for component-based software
    Ke, Wei
    Li, Xiaoshan
    Liu, Zhiming
    Stolz, Volker
    FRONTIERS OF COMPUTER SCIENCE, 2012, 6 (01) : 17 - 39
  • [47] rCOS: a formal model-driven engineering method for component-based software
    Wei Ke
    Xiaoshan Li
    Zhiming Liu
    Volker Stolz
    Frontiers of Computer Science, 2012, 6 : 17 - 39
  • [48] A component-based approach to building formal analysis tools
    Stirewalt, REK
    Dillon, LK
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 167 - 176
  • [49] A formal approach facilitating the evolution of component-based software
    Thang, NT
    Katayama, T
    Eighth International Workshop on Principles of Software Evolution, Proceedings, 2005, : 49 - 52
  • [50] Transforming VHDL Descriptions into Formal Component-based Models
    Nouri, Ayoub
    Ben Atitallah, Rahma
    Molnos, Anca
    Fabre, Christian
    Heitzmann, Frederic
    Debicki, Olivier
    PROCEEDINGS OF THE 2016 27TH INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2016, : 128 - 135
12345