论文部分内容阅读
软件求精是形式化开发方法中的一种新技术。本文介绍了软件求精的基本思想和理论基础，并结合一种广谱语言“扩展Ｇｕａｒｄｅｄ Ｃｏｍｍａｎｄｓ”介绍了其一般方法。此外，还基于人工智能技术中的产生式系统，提出了软件求精的一种实现模型。通过该模型，计算机能够与用户交互，半自动地实现程序代码的生成。
软件求精方法的一种实现模型
【摘 要】
：
软件求精是形式化开发方法中的一种新技术。本文介绍了软件求精的基本思想和理论基础，并结合一种广谱语言“扩展Ｇｕａｒｄｅｄ Ｃｏｍｍａｎｄｓ”介绍了其一般方法。此外，还基于人工智能技术中的产生式系统
【机 构】
：
上海大学计算机工程与科学学院计算机科学系
【出 处】
：
上海大学学报：自然科学版
【发表日期】
：
1996年3期
【基金项目】
：
国家863高科技计划资助,上海市高校科技发展基金
其他文献
该文首先描述了有类网络存在的典型问题,接着引入无类路由协议的概念并介绍了在此协议支持下的两个高级寻址技术:VLSM和CIDR,较详细阐述了该两项技术的特点及使用方法,同时给
本文从医院财务管理的现状出发，分析医院财务管理处于信息孤立的原因，提出了财务管理应深入临床科室，并阐述了深入临床科室应具备的条件和深入临床科室的四个财务管理环节。
人才是打造医院核心竞争力的关键，为此，做好各级各类人才管理工作对于医院持续、健康、和谐发展具有极为重要的意义。为了解我院专业技术人员的流动情况，有针对性地做好人才管理
2008年1月28日，中国轻工业联合会会长、中华全国手工业合作总社主任陈士能出席了由中共中央办公厅、中共中央党史研究室主办的“纪念薄一波同志诞辰100周年座谈会”。会议由国
我国社会主义现代化建设已进入一个新的发展时期，企业是市场经济的微观基础，搞好企业改革，对完善社会主义市场经济体制和巩固社会主义制度，具有极为重要的意义。山东省高密市适应
长治市城镇集体经济工作会暨2007年度总结表彰大会的中心议题是贯彻落实党的十七大精神，认真总结2007年以来的主要工作和经验，进一步动员全市城镇集体经济战线上的广大干部职工
文章主要介绍了SQL Server 2000的体系结构、安全模式、管理数据库文件的方法、数据的转换、备份、还原和复制以及Transact-SQL语言设计技术。叙述了应用系统存储过程和触发
后现代主义是20世纪60年代在西方兴起的一种反思和批判现代化负面效应的一种社会思潮。后现代主义思潮在中国产生了广泛的影响,对于中国正在进行的社会主义现代化建有重要的