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 条
  • [31] Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
    Broy, Manfred
    Communications in Computer and Information Science, 2009, 17 : 1 - 13
  • [32] Specification and construction of multi-agent system based on software architecture
    Zhan, Jian-Feng
    Cheng, Hu
    Ruan Jian Xue Bao/Journal of Software, 2002, 13 (SUPPL.): : 134 - 137
  • [33] Compositional specification of behavioral semantics
    Chen, Kai
    Sztipanovits, Janos
    Neema, Sandeep
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 906 - +
  • [34] Compositional specification of commercial contracts
    Jesper Andersen
    Ebbe Elsborg
    Fritz Henglein
    Jakob Grue Simonsen
    Christian Stefansen
    International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 485 - 516
  • [35] Compositional Specification in Rewriting Logic
    Martin, Oscar
    Verdejo, Alberto
    Marti-Oliet, Narciso
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (01) : 44 - 98
  • [36] Specification architecture
    Turner, KJ
    Scollo, G
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 393 - 395
  • [37] On Architecture Specification
    Broy, Manfred
    SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2018, 10706 : 19 - 39
  • [38] Modeling and simulation of software architecture in discrete event system specification for quality evaluation
    Bogado, Veronica
    Gonnet, Silvio
    Leone, Horacio
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2014, 90 (03): : 290 - 319
  • [39] Research on an event specification for event-based collaboration support software architecture
    Yuan, PP
    Chen, G
    Dong, JX
    Han, WL
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, 2002, : 99 - 104
  • [40] Towards Specification of a Software Architecture for Cross-Sectoral Big Data Applications
    Arapakis, I
    Becerra, Y.
    Boehm, O.
    Bravos, G.
    Chatzigiannakis, V
    Cugnasco, C.
    Demetriou, G.
    Eleftheriou, I
    Mascolo, J. E.
    Fodor, L.
    Ioannidis, S.
    Jakovetic, D.
    Kallipolitis, L.
    Kavakli, E.
    Kopanaki, D.
    Kourtellis, N.
    Marcos, M. M.
    de Pozuelo, R. M.
    Milosevic, N.
    Morandi, G.
    Montanera, E. P.
    Ristow, G. H.
    Sakellariou, R.
    Sirvent, R.
    Skrbic, S.
    Spais, I
    Vasiliadis, G.
    Vinov, M.
    2019 IEEE WORLD CONGRESS ON SERVICES (IEEE SERVICES 2019), 2019, : 394 - 395
12345