论文部分内容阅读
构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。
一种基于B方法和构件技术的形式化开发方法
【摘 要】
：
构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示
【机 构】
：
泰州师范高等专科学校
【出 处】
：
井冈山大学学报：自然科学版
【发表日期】
：
2008年4期
其他文献
刘茹花在《海南广播电视大学学报）2013年第3期发表文章称，当代大学生思想政治教育逆反心理特征如下：（一）个性化当代大学生大部分是独生子女，他们身上表现最为突出的特征是追求自我，
通过野外小区实验,研究了NPK肥对铜尾矿上苎麻（Boehmeria tricuspis）生长的影响。结果表明,苎麻在纯尾矿中生长缓慢,单独施用NPK肥或牛粪能促进茎干的纵向和横向生长（P〈0.05）,但
目的探讨经鼻-蝶入路显微手术治疗垂体腺瘤的方法和效果。方法回顾性总结经蝶入路显微切除5例垂体腺瘤病人的病例资料。微腺瘤2例,大腺瘤3例。结果手术全切5例,效果良好。结
本文介绍了正交频分复用(OFDM)系统中两类常用的信道估计算法:最小二乘(LS)和最小均方误差(MMSE)。在广义平稳的多径时变瑞利衰落信道模型下,利用MATLAB程序仿真实现了LS、MM
采用文献、调查问卷、数理统计等方法对影响我国当代大学生身心健康因素进行调查,以了解影响大学生身心健康的因素及对体育锻炼的认知程度,目的在于进一步促进高校体育教学改
随着游憩活动的增加,对雾灵山野生观赏植物造成一定的破坏和冲击,必须采取相应的保护措施。本文重点研究雾灵山的旅游发展现状和野生观赏植物的多样性、珍贵性,并按照＂永续发
明末清初,最富有时代精神的诗歌便是遗民诗作,在众多的遗民诗人中,＂诗歌古文满天下＂的钱澄之当是值得留心注意的一位。许多研究钱澄之的前作,在论述其生平后期的生活状态时多用
随着今年国家创新驱动发展战略的深入,仰恩大学积极推进创新创业教育改革,充分发挥政策引领导向作用,进一步激发学生的创新创业活力,但是我校大多数学生尚未形成创新创业意识
2019年7月15日国务院印发的《关于实施健康中国行动的意见》对高职体育教学提出新要求,要求强化健康教育理念,普及健康知识,优化课程教学内容,维护生命周期健康并提高生活质
辛亥革命结束了清王朝的统治,近代中国进入中华民国时代。这对于近代国族构建具有重大的转折意义,中华民国移植了西方资本主义国家的制度框架,使国族构建具备了制度性支撑,也