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;知识表示语言SOKM/L,该语言具有二级知识表示的特色;给出了软件开发过程的三种基本结构(正则、回溯、并行);还提出了知识表示的逐步求精步骤;表示了软件开发知识JSD示例.