SOKM/L语言在JSD知识表示与利用中的应用

Jaekson系统开发方法(Jackson Sy-stem DeveloPment)JSD是1980年M.A.Ja-ckson提出的结构化软件系统设计方法。 JsD的基本观点是软件系统的设计应该反映现实世界。

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

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

软件开发的知识表示与利用的研究

本文涉及软件工程与知识工程,包括软件开发知识表示模型SOKM;知识表示语言SOKM/L,该语言具有二级知识表示的特色;给出了软件开发过程的三种基本结构(正则、回溯、并行);还提出了知识表示的逐步求精步骤;表示了软件开发知识JSD示例.