论文部分内容阅读
<正>实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是对用需求,也是对软件系统的严格定义,在软件开发中有着相当重要
Z和VDM规格说明的差异比较
【摘 要】
：
<正>实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是
【机 构】
：
复旦大学计算机科学系,复旦大学计算机科学系,上海
【出 处】
：
计算机科学
【发表日期】
：
1997年4期
其他文献
ＨＰＦ（高性能ＦＯＲＴＲＡＮ）公布于１９９３年，是当今世界上ＦＯＲＴＲＡＮ语言的最新版本。本文系统地介绍了ＨＰＦ相对于以往ＦＯＲＴＲＡＮ版本（主要是ＦＯＲＴＲＡＮ９０）的新特点，并举出了一个程序实例，供并行计算技术的研究者以及工程技术人员参考。
<正>一引言,用计算机模拟人类智能一直是人工智能研究者所追求的目标,其研究的范畴已由模拟人类逻辑思维的智能拓展到模拟人类象思维的智能。
<正>知识发现是一个众多学科诸如人工智能、机器学习、模式识别、统计学、数据库和知识库数据可视化等相互交叉、融合所形成的一个新兴的且具有广阔应用前景的领域。目前国际
互动性的增加,体现出课堂教学的活跃性,也体现出学生对于学科学习的态度和投入的情况。初中语文课堂的互动性增加,意味着教师在教学的方法和理念方面进行适当的调整,通过课程
一节严谨的小学美术课堂不仅仅要完成即定的教学目标,落实丰富的教学内容,在整个教学的过程中课堂作业展示环节也是非常重要的。在小学美术教学中课堂最后五分钟作业展示能够