Compositional specification of software architecture

被引:0
|
作者
NASA Ames Research Cent, Moffett Field, CA, United States [1 ]
机构
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:113 / 116
相关论文
共 50 条
  • [1] Specification of software architecture
    Gerken, MJ
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (01) : 69 - 95
  • [2] A layered software specification architecture
    Snoeck, M
    Poelmans, S
    Dedene, G
    CONCEPTUAL MODELING ER 2000, PROCEEDINGS, 2000, 1920 : 454 - 469
  • [3] Towards Compositional Reuse for Software Architecture
    Li Xiaojian
    Zheng Ying
    2010 INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT (CCCM2010), VOL II, 2010, : 623 - 626
  • [4] Towards Compositional Reuse for Software Architecture
    Li Xiaojian
    Zheng Ying
    AFFECTIVE COMPUTING AND INTELLIGENT INTERACTION, 2012, 137 : 651 - +
  • [5] Architecture specification of multimedia software systems
    Tsai, JJP
    Xu, K
    IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, PROCEEDINGS VOL 1, 1999, : 97 - 102
  • [6] Compositional specification of event-based software architectural styles
    Loulou, Imen
    Kacem, Ahmed Hadj
    Jmaiel, Mohamed
    Drira, Khalil
    2006 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2006, : 337 - +
  • [7] A modeling framework for software architecture specification and validation
    Gobillot, Nicolas
    Lesire, Charles
    Doose, David
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8810 : 303 - 314
  • [8] Specification of a Software Architecture for an Industry 4.0 Environment
    Kavakli, Evangelia
    Buenabad-Chavez, Jorge
    Tountopoulos, Vasilios
    Loucopoulos, Pericles
    Sakellariou, Rizos
    2018 SIXTH INTERNATIONAL CONFERENCE ON ENTERPRISE SYSTEMS (ES 2018), 2018, : 36 - 43
  • [9] Formal Specification of Software Architecture Security Tactics
    Wyeth, Andrew
    Zhang, Cui
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 172 - 175
  • [10] Specification and analysis of Object Oriented Software Architecture
    Zhou, YX
    Ai, B
    OBJECT-ORIENTED TECHNOLOGY, 1997, : 88 - 93