论文部分内容阅读
介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点，SOFL的软件开发过程经历所需分析，抽象设计，演化，细节设计，编程，验证几个阶段，坚实的教学基础以及逐步求精的分解过程保证了系统软件的可靠性和稳定性。
基于SOFL的软件开发过程
【摘 要】
：
介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点，SOFL的软件开发过程经历所需分析，抽象设计，演化，细节设计，编程，验证几个阶段，坚实的教学基础以及逐步
【机 构】
：
西安航空职业技术学院
【出 处】
：
中国科技纵横
【发表日期】
：
2012年17期
其他文献
外语教学的根本目的在于实现语言本身的交流功能,如果在英语教学中实施导入跨文化,势必有利于开阔学生的国际视野,从而提高学生的综合素质,本文就大学英语教学中实施跨文化知
随着我国煤矿机电设备研制与开发水平的不断提高，大批先进的机电设备被广泛应用于煤炭生产中，成为确保煤炭企业稳步发展的有力保障。因此，如何做好机电设备的保养与维护工作，确保
目的：观察黄连素对大鼠肾缺血再灌注损伤重要脏器NO含量的影响。方法：45只SD雄性大鼠随机分3组：（1）假手术组（Sham）（2）缺血再灌注士且（I／R）（3）缺血再灌注＋黄连素组0．1g／kg／d用药2周后，建立肾缺血
介绍了膨润土的用途、机理、指标。在生产实际中取代部分变性淀粉。用于纯棉织物的经纱上浆。经生产实践证明既提高纱线的织造质量。又取得了一定的经济效益。
歌唱是一门艺术，要想提高歌曲的表现能力，应加强学生歌唱技巧的训练，本文从发声原理、练习方法、歌曲二度创作三个方面，具体地论述了声乐学习的科学方法和态度，为声乐学习者和爱好
本文以绥化市民办英语学校和地方英语基础教育的发展为主要研究对象，通过对学生、教师和管理人员展开问卷调查、访谈及随堂听课，总结了绥化市民办英语学校与地方英语基础教育发
在城市不断拓展的背景下，有着传统历史的天马村也面临着村庄衰退等系列问题，规划根据村庄自身特色，挖掘其魅力与潜力，通过分区整治、景观与旅游规划等对策措施，打造“宜商、宜居、
马克思主义伦理学以唯物史观为理论基础和方法论原则,从人类的现实生活过程中揭示道德的起源,认为以往的一切道德归根到底都是当时的社会经济状况的产物。由原始社会低下的生
群众文化是社会大众的文化，广泛的存在于社会和群众生活的每一个角落。群众文化是传统文化的分支，群众文化建设是构建和谐社会的必经之路，是社会和谐发展的基础。它在社会和谐发