吕建 丁俊华 廖宇 张鸣 唐宝

形式化方法 需求定义 并发面向对象 嵌套面向对象结构 数据分解 继承 继承异常 并发面向对象程序设计语言

江苏南京 南京大学计算机软件研究所 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件研究所计算机软件新技术...