一种面向对象的形式化设计方法──从COOZ需求规格说明到设计

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。

机器辅助下的形式化规格说明求精技术

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。

微程序设计思想在SCADA系统中的应用

阐述了用微程序设计思想进行ＳＣＡＤＡ系统设计的方法，着重叙述了在非多任务操作系统环境下。

限制VB中字符串输入长度

对字符串输入长度的限制本是再简单不过的事情，ＶＢ中文本输入控件的属性ＭａｘＬｅｎｇｔｈ就是用来限制字符串输入的最大长度的，只需设一下该属性的值即可，但问题出在ＶＢ的字符串长度函数Ｌｅｎ上。与其他语言不同的是，ＶＢ的函数Ｌｅｎ将一个汉字的长度看作是１，...