rtrsmCOCA³¹⁵¹¹¹⁺⁴ 例句 Aiming at the complicated dynamic interactive behaviors and rigid timing constraints of embedded real-time system, the paper presents a kind of software requirements specification language RTRSM. 针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征，提出了一种软件需求规约语言 RTRSM。 cnki