设计了一种监测钻井参数的实时软件系统。
A software system of real time monitoring drilling parameters was developed.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
时间模型讨论适合实时软件系统建模的时间及时间相关机制的总体架构，为性能分析建立了定量分析的标准。
Time model discusses time and time-related mechanism frame, which is applicable in modeling of real-time software system.
应用推荐