形式规格语言相关论文
本文首先回答了什么是形式方法的问题,对在安全-关键系统使用的形式方法作了概括介绍,并通过介绍应用形式方法的安全-关键系统的实......
本文提出一种面向对象软件的形式描述语言JOOSL,用它可描述面向对象软件需规格、概要设计和详细设计,从描述方法角度看,需求规格和概要设计......