|
|||||
|
|
| 一种面向对象的形式化设计方法──从COOZ需求规格说明到设计 | |
| 作者姓名： | 袁晓东 李宣东 郑国梁 |
| 作者单位： | 电力部电力自动化研究院仿真室,南京大学计算机科学与技术系 |
| 基金项目： | 国家九五攻关项目,国家自然科学基金 |
| 摘 要： | 本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明,实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。 |
| 关 键 词： | 面向对象 形式化规格说明 形式化设计 COOZ |
| 本文献已被 CNKI 等数据库收录！ | |