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 条
  • [21] The research of fundamental specification and design for software architecture based on GUI
    Wu, YH
    Lai, M
    OBJECT-ORIENTED TECHNOLOGY, 1998, : 24 - 29
  • [22] Developing an ROV software control architecture: a formal specification approach
    de Assis, Fabio Henrique
    Takase, Fabio Kawaoka
    Maruyama, Newton
    Miyagi, Paulo Eigi
    38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 3107 - 3112
  • [23] Introducing software architecture specification and analysis in SAM through an example
    Wang, J
    He, X
    Deng, Y
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (07) : 451 - 467
  • [24] From specification to experimentation:: A software component search engine architecture
    Garcia, Vinicius Cardoso
    Lucredio, Daniel
    Durao, Frederico Araujo
    Santos, Eduardo Cruz Reis
    de Almeida, Eduardo Santana
    Fortes, Renata Pontin de Mattos
    Meira, Silvio Romero De Lemos
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4063 : 82 - 97
  • [25] Compositional verification of middleware-based software architecture descriptions
    Caporuscio, M
    Inverardi, P
    Pelliccione, P
    ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 221 - 230
  • [26] QoS Specification in Software Architecture for QoS-aware Applications
    Zhou, Xiaocong
    Li, Peiyan
    JOURNAL OF ALGORITHMS & COMPUTATIONAL TECHNOLOGY, 2010, 4 (03) : 251 - 273
  • [27] Global Analysis: moving from software requirements specification to structural views of the software architecture
    Hofmeister, C
    Nord, RL
    Soni, D
    IEE PROCEEDINGS-SOFTWARE, 2005, 152 (04): : 187 - 197
  • [28] SOFTWARE ARCHITECTURE OF THE EXECUTABLE GRAPHICAL SPECIFICATION TOOL EGS1
    GASKELL, C
    PHILLIPS, R
    SOFTWARE-CONCEPTS AND TOOLS, 1995, 16 (03): : 124 - 135
  • [29] Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
    Broy, Manfred
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 1 - 13
  • [30] Bigraph specification of software architecture and evolution analysis in mobile computing environment
    Lu, Chao-ze
    Zeng, Guo-sun
    Xie, Ying-jie
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 (108): : 662 - 676
12345