SL规范语言相关论文
介绍了实时分布式系统的一种转化设计方法.系统的形式化需求规范用时段演算DC(Duration Calculus)描述,系统的设计用规范语言SL(Sp......
介绍了分布式实时系统设计的一种扩展方法.在转化设计的基础上,支持系统的扩展及系统规范的改变.新的系统需求规范使用轨迹逻辑(Tr......
