论文部分内容阅读
软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。
从软件功能实例规格说明到软件功能形式规格说明的自动转换
【摘 要】
：
软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换
【机 构】
：
南京大学计算机软件研究所,南京大学计算机软件研究所南京210008,南京210008
【出 处】
：
软件学报
【发表日期】
：
1992年4期
其他文献
目的探讨SARIMA-RBF组合模型拟合及预测我国流行性腮腺炎(流腮)流行趋势的应用。方法利用全国2004—2015年流腮逐月发病率建立SARIMA模型。将基于SARIMA模型的拟合值作为输入
积极心理学采用科学的原则和方法来研究幸福,倡导积极的心理取向,主要研究人们的积极心理品质、关注人类的健康幸福、与和谐发展.由于教育事业的发展和新课改的提出,对小学语
目的了解广州市学生网络成瘾及睡眠不足现状及其关系,为学生网络成瘾和睡眠不足防控政策的制定提供理论依据。方法采取分层整群随机抽样法,使用《学生健康状况及影响因素调查
加里福尼亚的奥克兰市郊是美国著名的风景区之一，可以和洛山矶风景区媲美。这里四周环抱着蜿蜒曲折的山丘，山区的森林中既有高大的红松和给人们提供巨大伞状绿荫的桉树，也有贴山
用户接口管理程序UIMS是一类软件开发工具。GI是根据VLSI/CAD软件用户接口的特点而设计和实现的一个图形交互式UIMS。它基于简化事件响应模型,以使用简便为主要目标,由用户说明而自动生成相应的应用程序用户接口。它支持菜单、 键盘、窗口等输入方式,以异步并行方式为应用程序服务。它不仅有较好的交互性能,还保持了应用程序的独立和完整性。
一、光彩事业的内涵及意义 光彩事业是以先富起来的非公有制经济人士为参与主体,以帮助贫困地区开发资源、兴办项目、培训人才为主要内容,同当地群众共创利润、共谋利益、共
自动程序设计是计算机科学的中心目标之一。近几年来该在理论上取得了突破性进展，那就是演化计算理论，特别是其中的遗传程序设计ＧＰ的理论与方法的进展。本文从３个方面论证ＧＰ方法学给
目的了解糖尿病患者对移动健康服务使用现状并分析其影响因素。方法于2019年6—8月,以广州市和毕节市的3家三甲医院糖尿病患者为研究对象,采用自填问卷调查患者人口学特点、