|
|||||
|
|
| PS系统的一种精确语义描述 | |
| 引用本文： | 戎玫.PS系统的一种精确语义描述[J].计算机科学,2008,35(10). |
| 作者姓名： | 戎玫 |
| 基金项目： | 重庆市自然科学基金，江苏省高校自然科学基金 |
| 摘 要： | 规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有的语义描述不够精确.首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述. |
| 关 键 词： | 规约模式系统 程序性质 形式化方法 |
Exact Semantic of Specification Patterns System |
|
| RONG Mei.Exact Semantic of Specification Patterns System[J].Computer Science,2008,35(10). | |
| Authors: | RONG Mei |
| Abstract: | |
| Keywords: | SPIN |
| 本文献已被 万方数据 等数据库收录！ | |