论文部分内容阅读
该文介绍了基于时序逻辑语言ＸＹＺ／ＰＭＥ的过程建模技术，并采用ＸＹＺ／ＰＭＥ描述了不同抽象级的ＩＳＰＷ－６软件过程，从而说明，基于ＸＹＺ／ＰＭＥ的过程建模技术可有效地支持形式化过程建模。
ISPW-6软件过程实例建模
【摘 要】
：
该文介绍了基于时序逻辑语言ＸＹＺ／ＰＭＥ的过程建模技术，并采用ＸＹＺ／ＰＭＥ描述了不同抽象级的ＩＳＰＷ－６软件过程，从而说明，基于ＸＹＺ／ＰＭＥ的过程建模技术可有效地支持形式化过程建模。
【机 构】
：
科学院软件研究所(北京)
【出 处】
：
第六次全国软件工程学术会议
【发表日期】
：
1996年期
其他文献
城市与农村的发展差距，是教育界一直以来都无法公平解决地问题，特别是在幼教这一方面，城市幼教水平完善、教学质量好，而农村幼教则存在大量地客观与主观问题。
社会性发展是儿童心理发展的一个重要内容，它对一个人的人格、健康、学习、智力发展等具有重要影响。目前，有许多孩子在社会性发展方面存在严重的问题。社会在进步，人们的生活水
简明地回顾软件开发模型和软件生命期过程的概念和研究状况，分析了已有模型及CMM的优缺点。提出一种基于无缝改进的过程建模方法P-F方法。P-F方法是建立在Petri net和形式化的
软件工业园建设是一项具有战略意义的工程。世界软件发展的经验已经证明建立软件工业园是一条极其成功的经验。文中对中国建设软件件工业园的建设模式作了初步探讨。
幼儿教学不能对幼儿太过约束，这就需要相关的教育研究者创造一些适合幼儿学习的教学工具。因此，玩教具这一教学工具应运而生，并越来越多地受到幼儿教育工作者和广大幼儿的喜爱，成
该文软件构件化开发技术是软件行业走向工业化的关键。该文结合CAI系统开发的实际需求和软件构件技术的发展，探讨了软件构件化开发技术在CAI系统开发中的应用，并就CAI系统软件
由于应试教育和社会功利心理的消极影响，幼小衔接出现两种极端的认识和做法。幼儿教育小学化倾向越来越严重。幼儿与小学的衔接要从身体准备、思想准备、知识准备、游戏活动设