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 条
  • [1] A UML-based environment for software testing and verification
    Dong, W
    Wang, J
    Li, LY
    Li, SH
    Chen, HY
    [J]. COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 76 - 81
  • [2] Security software formal modeling and verification method based on UML and Z
    [J]. Cao, K. (kunyucao@tju.edu.cn), 1600, Springer Verlag (332):
  • [3] Security Software Formal Modeling and Verification Method Based on UML and Z
    Cao, Kunyu
    Li, Xiaohong
    Xing, Jinliang
    [J]. CONTEMPORARY RESEARCH ON E-BUSINESS TECHNOLOGY AND STRATEGY, 2012, 332 : 390 - 401
  • [4] Formal verification and validation of embedded systems: the UML-based MADES approach
    Luciano Baresi
    Gundula Blohm
    Dimitrios S. Kolovos
    Nicholas Matragkas
    Alfredo Motta
    Richard F. Paige
    Alek Radjenovic
    Matteo Rossi
    [J]. Software & Systems Modeling, 2015, 14 : 343 - 363
  • [5] FAME: A UML-based framework for modeling fuzzy self-adaptive software
    Han, Deshuai
    Yang, Qiliang
    Xing, Jianchun
    Li, Juelong
    Wang, Hongda
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 76 : 118 - 134
  • [6] Formal verification and validation of embedded systems: the UML-based MADES approach
    Baresi, Luciano
    Blohm, Gundula
    Kolovos, Dimitrios S.
    Matragkas, Nicholas
    Motta, Alfredo
    Paige, Richard F.
    Radjenovic, Alek
    Rossi, Matteo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 343 - 363
  • [7] Dependability Modeling and Assessment in UML-Based Software Development
    Bernardi, Simona
    Merseguer, Jose
    Petriu, Dorina C.
    [J]. SCIENTIFIC WORLD JOURNAL, 2012,
  • [8] FMEA for UML-based Software
    Wang Wentao
    Zhang Hong
    [J]. 2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 3, PROCEEDINGS, 2009, : 456 - 460
  • [9] Formal analysis of UML-based designs
    Belkhouche, B
    Nix, A
    [J]. SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 220 - 226
  • [10] A Comparison of Six UML-Based Languages for Software Process Modeling
    Bendraou, Reda
    Jezequel, Jean-Marc
    Gervais, Marie-Pierre
    Blanc, Xavier
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2010, 36 (05) : 662 - 675
12345