基于时序逻辑语言描述的监控系统的软件体系结构求精
기우시서라집어언묘술적감공계통적연건체계결구구정
Software Architecture Refinement for Monitor Systems Based on Temporal Logic Language
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2003年 31期 14-17 ,共4页

    张广泉%戎玫%晏荣杰

    장엄천%융매%안영걸

    软件体系结构%监控系统%组件%求精%时序逻辑%XYZ/E 軟件體繫結構%鑑控繫統%組件%求精%時序邏輯%XYZ/E
    연건체계결구%감공계통%조건%구정%시서라집%XYZ/E
    该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例--移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述.
    해문제출료일충기우조건적연건체계결구구정방법,주요통과일개구체실례--이동통신감공계통,기우시서라집어언XYZ/E형식화묘술기체계결구,대해구정방법급과정주진일보천술.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문