软件开发知识描述语言SOKM／L的研究

前言 1]提出了软件开发知识表示与利用模型SOKM,但仅用它仍无法描述软件开发的知识,必需研究对应的知识表示和利用语言及其支撑系统。本文依据SOKM,提出了软件开发知识的面向对象(Object-Oriented)的O-O范例和面向逻辑(Logic-Oriented)的L-O范例相融