半形式化需求说明语言的设计及应用

针对实际的MIS系统开发 ,提出了半形式化需求说明语言SFSL。利用半形式化需求说明语言SFSL 。

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型 .用Object Z语言描述面向对象程序的形式化规约 .从形式化规约说明中可以推导出的面向对象程序的状态转换图 ,状态图可以表示面向对象程序的动态行为 ,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集 .最后给出了验证一个方法调用序列正确性的方法 .

用UML和Object-Z描述交互式系统的接口规格说明

随着图形用户界面的普及 ,交互已成为目前软件系统的一个重要特征 .与传统的基于字符界面的软件系统相比 ,基于图形用户界面的软件系统 ,从某种程度上可看作是一个交互式系统 .形式化的规格说明具有精确性、无二义性和一致性等优点 ,用形式化说明语言来描述交互式系统用户接口的规格说明有很强的实用价值 .由于形式化的规格说明的可读很差 ,因此可以采用标准的对象建模语言 U ML