UML-Based modeling and formal verification for software self-adaptation

被引：0
|
作者：
Han, De-Shuai [1 ]
Yang, Qi-Liang [1 ,2 ]
Xing, Jian-Chun [1 ]
机构：
[1] College of Defense Engineering, PLA University of Science and Technology, Nanjing,210007, China
[2] State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing,210093, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2015年 / 26卷 / 04期
关键词：
461.4 Ergonomics and Human Factors Engineering - 721.1 Computer Theory; Includes Formal Logic; Automata Theory; Switching Theory; Programming Theory - 723.5 Computer Applications - 913.1 Production Engineering - 971 Social Sciences;
D O I：
10.13328/j.cnki.jos.004758
中图分类号：
学科分类号：
摘要：
38
引用
收藏
页码：730 / 746
相关论文
共 50 条
  • [41] Managing model quality in UML-based software development
    Lange, Christian F. J.
    Chaudron, Michel R. V.
    13TH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS, 2006, : 7 - +
  • [42] Modeling resources in a UML-based simulative environment
    Ammar, HH
    Cortellessa, V
    Ibrahim, A
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 405 - 410
  • [43] Supporting UML-based development of embedded systems by formal techniques
    Jozef Hooman
    Hillel Kugler
    Iulian Ober
    Anjelika Votintseva
    Yuri Yushtein
    Software & Systems Modeling, 2008, 7 : 131 - 155
  • [44] A UML-based modeling of web application controller
    E. A. Gorshkova
    B. A. Novikov
    D. D. Belov
    V. S. Gurov
    S. V. Spiridonov
    Programming and Computer Software, 2005, 31 (1) : 29 - 33
  • [45] A UML-based modeling of web application controller
    Gorshkova, EA
    Novikov, BA
    Belov, DD
    Gurov, VS
    Spiridonov, SV
    PROGRAMMING AND COMPUTER SOFTWARE, 2005, 31 (01) : 29 - 33
  • [46] ANALYSIS OF UML-BASED SOFTWARE DESIGN FOR DEVELOPMENT AND APPLICATION
    Chu, Mei
    Shi, Hongyan
    Jia, Li
    2011 INTERNATIONAL CONFERENCE ON MECHANICAL ENGINEERING AND TECHNOLOGY (ICMET 2011), 2011, : 575 - 577
  • [47] A UML-based modeling of web application controller
    Gorshkova E.A.
    Novikov B.A.
    Belov D.D.
    Gurov V.S.
    Spiridonov S.V.
    Programming and Computer Software, 2005, 31 (1) : 29 - 33
  • [48] Study on UML-based manufacturing process modeling
    Guo, ZL
    Du, PA
    Wang, ZH
    Liang, SH
    CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 775 - 779
  • [49] UML-based modeling of architectural knowledge and design
    Kirchhof, M
    Kraft, B
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 245 - 250
  • [50] UML-based modeling for what-if analysis
    Colfarelli, Matteo
    Rizzi, Stefano
    DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2008, 5182 : 1 - 12
12345