从受限自然语言到形式规范的软件开发过程

来源 :第三届全国青年计算机学术会议 | 被引量 : 0次 | 上传用户:greattomliu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
综述了基于知识的专家控制,基于模糊规则的专家控制、仿人智能控制等智能控制系统的研究现状和存在的问题,并提出了若干个潜在的研究课题. The current research status and ex
近年来,随着农村外出务工人员的大量增加,留守儿童大量涌现,再加上他们独生子女的身份特征,这些孩子会在一定程度上表现出:性格孤僻怪异,占有欲强,依赖性强,学习、生活习惯不良,自我要
他山中学是一所新建学校,是县人民政府按照贵州省一级一等硬件标准规划建设的一所独立高级中学。学校位于县城石羊湖畔,毗邻中等职业学校和天湖小学,总投资2.6亿元、占地面积11
怎样做好新时期的班主任工作?怎样在学生一进入高中就尽快让学生尽快养成文明礼仪习惯,适应新学校,新环境?这是每个班主任都要遇到的问题。笔者以为应从以下方面进行。  一、明
在社会实践中,如何提高学生的实践能力,让学生懂得“爱”,引导学生懂得处理好竞争与合作的关系,这是教育学生学会做人,促进学生全面健康成长的重要方面。
去自己理想的大学读书是每个学生的梦想,了解学校的学术环境、人文环境,乃至地理环境是每一个学生在入学前想做的事情,本文介绍了美国耶鲁大学的部分特点和校园的传统,希望读
在当今迅速发展的社会,学生的抑郁情绪正朝着多样性、复杂性的方向发展,作为班主任承担着一个集体成员间相处的主导者,因此及时、正确地对抑郁情绪学生进行心理干预是班主任所必
近年来,中国的展览馆事业得到了前所未有的发展,陈列展览的质量也得到了提升,而多媒体技术作为一种新兴的信息技术,以其多形式的展现手段已成为展览馆陈列展示的重要组成部分。为
会议