Specifying dynamic software architectures with dynamic description logic

被引：2
|
作者：
Zhao, Zhikun [1 ]
Li, Wei [2 ]
机构：
[1] School of Information and Communication Technology, Central Queensland University, Rockhampton, 4702, Australia
[2] School of Computer and Information Engineering, Shandong University of Finance, Jinan, Shandong 250014, China
来源：
Journal of Software | 2012年 / 7卷 / 01期
关键词：
20;
D O I：
10.4304/jsw.7.1.169-175
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：169 / 175
相关论文
共 50 条
  • [1] Specifying dynamic software system architectures
    Selic, Bran
    [J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (03): : 595 - 605
  • [2] Specifying dynamic software system architectures
    Bran Selić
    [J]. Software and Systems Modeling, 2021, 20 : 595 - 605
  • [3] Specifying and analyzing dynamic software architectures
    Allen, R
    Douence, R
    Garlan, D
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 21 - 37
  • [4] Specifying Dynamic Software Architectures for Distributed Systems
    Xu, Hongzhen
    Zeng, Guosun
    Chen, Bo
    [J]. 2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 51 - 54
  • [5] A Logic for the Statistical Model Checking of Dynamic Software Architectures
    Quilbeuf, Jean
    Cavalcante, Everton
    Traonouez, Louis-Marie
    Oquendo, Flavio
    Batista, Thais
    Legay, Axel
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 806 - 820
  • [6] Supporting Dynamic Software Architectures: From Architectural Description to Implementation
    Cavalcante, Everton
    Batista, Thais
    Oquendo, Flavio
    [J]. 2015 12TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2015, : 31 - 40
  • [7] ADAPTABLE SOFTWARE FOR DYNAMIC ARCHITECTURES
    KARTASHEV, SP
    KARTASHEV, SI
    [J]. COMPUTER, 1986, 19 (02) : 61 - 77
  • [8] Specifying Properties of Dynamic Architectures Using Configuration Traces
    Marmsoler, Diego
    Gleirscher, Mario
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 235 - 254
  • [9] Specifying and Verifying the Correctness of Dynamic Software Updates
    Hayden, Christopher M.
    Magill, Stephen
    Hicks, Michael
    Foster, Nate
    Foster, Jeffrey S.
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 278 - +
  • [10] Dynamic Structure in Software Architectures Software Engineering
    Magee, J.
    Kramer, J.
    [J]. Software Engineering Notes, 21 (06):
12345