论文部分内容阅读
论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法，寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制。最后通过使用这个新的求精方法对一个实例求精来描述整个求精过程。
基于UML和Z的软件体系结构求精方法及其应用
【摘 要】
：
论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法，寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制。最后通过使用这个新的求精方法
【机 构】
：
徐州师范大学计算机科学与技术学院,苏州大学计算机科学与技术学院,重庆师范大学计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年5期
【基金项目】
：
中国科学院计算机科学国家重点实验室开放课题（编号：SYSKF0303）,重庆市教委科学技术研究资助项目（编号：040803）,江苏省计算机信息处理技术重点实验室开放课题.
其他文献
2017 年10 月18 日， 习近平总书记在党的十九大报告中提出乡村振兴战略， 强调农业农村农民问题是关系国计民生的根本性问题， 必须始终把解决好“三农”问题作为全党工作的重中之
期刊
以慈溪市鸣鹤风景区环白洋湖区域为研究对象,针对现状景区的交通情况进行调研,提出存在问题。利用鸣鹤风景区即将进行的沿湖旅游资源开发的契机,结合实际的空间环境特色,对旅
在支持向量分类机模型中,要从样本中选出具有代表性的数据作为输入值。一般地,选定的数据是静态的,但实际情况中数据是动态的。文章提出了基于动态数据的支持向量分类机模型,并给出了相应的算法。
食品营养学是食品质量与安全专业的一门重要课程,为提高教学质量,本文针对传统教学过程中存在的问题,结合教学实际,通过强化师资力量,丰富授课模式,采用项目教学法,完善考核
文章针对蒙古族大学生信息素养缺失的问题,对四所民族院校蒙语授课的蒙古族大学生信息素养教育现状展开问卷调查,并基于SWOT进行了分析,运用四种可供选择的战略,即SO战略、WO
患者，女，31岁。体质量58Kg，藏族（出生、生活在3300米左右高原地区），孕8个月，头晕、心慌伴双下肢浮肿20＋d。以“孕32＋6W，孕1产0。臀位，骶左前（LSA），妊娠期高血压疾病；HELLP综合征；胎儿宫内发育
根据义务教育阶段数学教学及高中教育阶段数学教学的要求,本文对初高中数学函数教学衔接问题进行梳理,并分析出现衔接问题的缘由,然后对问题缘由进行分析并提出相应的对策及
生态市是生态省的骨架和细胞单元,也是生态文明建设的基础。生态市规划是通过生态资源调查和生态承载力研究,谋划国土空间开发格局,以构建"生态安全、环境安全、生态经济、生
与传统汽车前照灯相比,自适应前照灯系统能够根据道路状况、车身姿态、行驶状态等改变前照灯出射光角度,从而改善夜间照明状况,提高行车安全性。本文针对国内外多数自适应前