论文部分内容阅读
用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较，最后分析这两种方法各自的优缺点：
形式化方法Designware、B的比较
【摘 要】
：
用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行
【机 构】
：
江西师范大学瑶湖校区计算机信息工程学院,中国科学院软件研究所计算机科学重点试验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年31期
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.60273092）,国家重点基础研究发展规划（973）（the National Grand Fundamental Research 973 Program of China under Grant No.2003CCA02800）,江西师范大学青年成
其他文献
研究了上行链路MC-CDMA系统中的部分干扰抵消多用户接收机方案，提出了初级采用线性MMSE检测的多级PIC多用户接收机。为了减小初级判决不精确带来的误差传播，每级乘以一个不同的
特征描述符提取和匹配是基于特征点图像匹配方法的一个重要问题。针对特征描述符提取问题,分析了目前已提出的描述符提取方法存在的问题和不足,并针对这些问题提出一种新的描述符提取方法和相应的匹配方法,经过实验和比较,提出的方法有很高的准确率和稳定性。同时,还改进了特征点的梯度方向估计方法,使方向估计具有更高的准确率。
去冬今春我国西南5省持续高温少雨，旱情不断加剧，其中云南、广西部分地区旱情达到特大干旱等级。而今春河南、山东、山西、陕西、甘肃等地区又出现低温霜冻天气，严重影响春播春
本刊讯 近期，临汾市水果市场销售的樱桃摊点增多，销售价格也比上年低20％左右。优质大樱桃20元／kg，一般大樱桃16元／kg，质量较差的10元／kg左右。主要原因，一是今年春天雨水多、气温低，跟
本刊讯（特约通讯员袁亚祥）8月11日，由浙江省农技推广中心、浙江省葡萄产业协会、浦江县人民政府主办的浙江精品葡萄（上海）展示推介会，在上海光大国际大酒店举行。同时，陕西户县优质
利用近年来对冬小麦生长发育和气象条件的连续并行观测资料，对冬小麦各生育期，适宜生长发育的温度、水分、光照等气象条件进行了比较系统的分析，同时对冬小麦生育期间的主要农业
光寻址电位传感器（LAPS）是一种基于集成电路制造技术的传感器,在生物化学领域有着广泛的应用前景。使用专用图表控件和数据库技术为LAPS测控系统建立了数据采集与管理系统,实现
余人月在3月22日的新华网上撰文指出：眼下的西南大地，因一场特大干旱，正陷于“野菜无水煮”的困顿之中。看似老天风雨不调，但这样的场景我们并不陌生。近年来，一幕幕土地龟裂的旱