T2N工具相关论文
安全关键系统是指那些系统失效会造成人员伤亡,环境和财产等的重大损失的软件系统。航空电子系统作为飞机上的核心系统,是典型的安......
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式......
