1) ICON System Normal Form
ICON系统形式化规范
2) ICON System
ICON系统
3) formal specification
形式化规范
1.
Automatic translation from formal specification to system-level state transition diagram;
从形式化规范自动生成系统级状态机
2.
The formal specification approach provides the mechanisms for system modeling, spcifying and verifying in parallel.
提供了 RAID系统的清晰结构 ,以此来弥补形式化规范语言的不足 ,规范软件设计过程 ,保证程序的正确性 。
3.
PVS(Prototype Verification Systems) provides an integrated environment for developing and verifying formal specification.
原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境。
4) formalization
[英]['fɔ:məlai'zeiʃən] [美][,fɔrmḷɪ'zeʃən]
形式/规范化
5) multi-resolution model specification
形式化描述规范
6) specification patterns system
规范模式系统
1.
C-PDL:a property description language of C based on specification patterns system;
C-PDL采用时序逻辑语言XYZ/AE的语法结构,结合了C语言程序性质的特点,引入规范模式系统,其语法简单且描述能力强。
补充资料：Icon
分子式：C23H19ClF3NO3
分子量：449.86
CAS号：91465-08-6
性质：熔点49.2°C。沸点187-190°C。
分子量：449.86
CAS号：91465-08-6
性质：熔点49.2°C。沸点187-190°C。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条