Compositional specification of software architecture

被引：0
|
作者：
NASA Ames Research Cent, Moffett Field, CA, United States [1 ]
机构：
来源：
International Software Architecture Workshop, Proceedings, ISAW | 1998年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：113 / 116
相关论文
共 50 条
  • [41] Specification of multimedia software systems using an object oriented architecture description language
    Xu, K
    Tsai, JJP
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1999, 9 (06) : 767 - 800
  • [42] Safe compositional specification of networking systems
    Bestavros, A
    Bradley, A
    Kfoury, A
    Matta, I
    ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2004, 34 (03) : 21 - 33
  • [43] A Compositional Specification Theory for Component Behaviours
    Chen, Taolue
    Chilton, Chris
    Jonsson, Bengt
    Kwiatkowska, Marta
    PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 148 - 168
  • [44] Compositional specification and model checking in GSTE
    Yang, J
    Seger, CJH
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 216 - 228
  • [45] COMPOSITIONAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    JONSSON, B
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (02): : 259 - 303
  • [46] COMPOSITIONAL PROOFS BY PARTIAL SPECIFICATION OF PROCESSES
    LARSEN, KG
    THOMSEN, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 414 - 423
  • [47] Parameterized Programming for Compositional System Specification
    Martin, Oscar
    Verdejo, Alberto
    Marti-Oliet, Narciso
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2018, 2018, 11152 : 59 - 75
  • [48] Languages for the specification of software
    Cooke, D
    Gates, A
    Demirors, E
    Demirors, O
    Tanik, MM
    Kramer, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308
  • [49] Compositional software architectures
    Agha, GA
    IEEE CONCURRENCY, 1998, 6 (01): : 2 - 3
  • [50] Software Visual Specification for Requirement Specification Validation
    Zainuddin, Fauziah Binti
    Arshah, Ruzaini bin Abdullah
    Mohamad, Rozlina Binti
    PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018, : 66 - 71
12345