Research on formal semantics of component integration

被引：0
|
作者：
Li, Yang [1 ]
Wu, Zhao-Hui [1 ]
机构：
[1] Dept. of Comp. Sci. and Eng., Zhejiang Univ., Hangzhou 310027, China
来源：
Zhejiang Daxue Xuebao (Gongxue Ban)/Journal of Zhejiang University (Engineering Science) | 2004年 / 38卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
7
引用
收藏
页码：135 / 140
相关论文
共 50 条
  • [1] Research on Component Composition with Formal Semantics
    Xu, Ruzhi
    Wu, Quansheng
    Gong, Hongquan
    Qian, Leqiu
    [J]. 2010 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY AND SECURITY INFORMATICS (IITSI 2010), 2010, : 118 - 124
  • [2] Formal Component-Based Semantics
    Madlener, Ken
    Smetsers, Sjaak
    van Eekelen, Marko
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (62): : 17 - 29
  • [3] Formal Semantics and Analysis of Component Connectors in Reo
    Mousavi, Mohammad Reza
    Sirjani, Marjan
    Arbab, Farhad
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 154 (01) : 83 - 99
  • [4] Research on Semantics Finding for Formal Languages
    Chen, Xing
    Wang, Hai-tao
    Hong, Kun
    [J]. 2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SCIENCE AND APPLICATION (FCSA 2011), VOL 1, 2011, : 510 - 512
  • [5] Formal Semantics for Component Assembly Pattern of Software Architecture
    Guo Wei
    Xu Sheng
    Xu Ren Zuo
    [J]. IEEM: 2008 INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1-3, 2008, : 2186 - +
  • [6] Formal semantics of component-based architecture model mapping
    Hou, Jinkui
    Wan, Jiancheng
    Yang, Xiao
    Wang, Haiyang
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (02): : 310 - 320
  • [7] Formal Semantics of the ProCom Real-Time Component Model
    Vulgarakis, Aneta
    Suryadevara, Jagadish
    Carlson, Jan
    Seceleanu, Cristina
    Pettersson, Paul
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 478 - 485
  • [8] Formal approach for component retrieval and integration analysis
    Chu, William C.
    Lu, Chih-Wei
    Yang, Hongji
    He, Xudong
    [J]. Journal of Software Maintenance, 2000, 12 (06): : 325 - 342
  • [9] A formal approach for component retrieval and integration analysis
    Chu, WC
    Lu, CW
    Yang, HJ
    He, XD
    [J]. JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 2000, 12 (06): : 325 - 342
  • [10] Research on Microkernel Integrity Semantics Model and Formal Verification
    Qian Zhenjiang
    Liu Wei
    Huang Hao
    [J]. CHINESE JOURNAL OF ELECTRONICS, 2014, 23 (01) : 43 - 48
12345