面向对象逻辑研究

国家学术搜索

首页|面向对象逻辑研究

面向对象逻辑研究

扫码查看

原文链接

NETL

中文摘要：本文主要研究了面向对象形式化逻辑,并把该理论用于指导一个从需求分析阶段到代码阶段的面向对象分析和设计的辅助工具.

作者：

宁爱兵、熊小华、罗杰

展开 >

作者单位：

江西师范大学计算机科学技术学院(南昌)

关键词：

面向对象类对象类不变式状态空间集

主办单位：

中国计算机学会

会议名称：

2002年全国理论计算机科学学术年会

会议时间：

2002-10-12

会议地点：

长沙

会议母体文献：

计算机科学2002年增刊

页码：

12-14

出版时间：

2002