论文部分内容阅读
回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,提出了一个基于形式化方法的面向构件的系统开发模型。针对目前面向构件的软件开发形式,提出了一些建议和方向。
面向构件的系统开发及其形式化
【摘 要】
：
回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,提出了一个基于形式化方法的面向构件的系统开发模型。针对目前面向构件的软件开发形式,提出了一些建议和方向。
【机 构】
：
上海大学计算机工程与科学学院,江西财经大学信息管理学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年03期
其他文献
遵从CORBA的日志服务规范,根据该规范设计了日志服务实现结构,并在ORBUS开发平台上实现了该服务。在局域网环境下的系统测试表明,日志服务的延时主要来自于ORB通信延时和数据库服务的检索记录延时。获取单条记录的延时和数据库中的记录数成线性关系,获取数据块的延时和记录数接近线性关系,但是如果在相关的列上创建索引,获取单条记录和查询记录的延时可以大大减少,接近一个常数值。
一、海盐文化历史悠久、影响力大文化永远是旅游的灵魂和归宿。正如于光远先生所言，“旅游是经济性很强的文化事业，又是文化性很强的经济事业。”（p51）今天的潍坊发展海盐文化旅
大机延伸后报表数据返传方案的探讨工商银行浙江省嘉兴市分行科技部卢福祥大机延伸是工商银行“九五”科技发展的主要战略措施。根据总行和省分行的安排，嘉兴工行被省分行定为
异构Web Services间的无缝互操作是成功构建基于Web Services应用的关键之一。讨论了Web Services互操作性概要和Web Services基本交互模式,详细分析了Web Services互操作原理和Web Services描述;说明了Web Services的类型定义中的类型不匹配、不可用类型、精度和值/引用类型等问题对互操作性的影响,并给出了处理方案;同时还分析了在We
对手机联网游戏服务器的架构进行了研究,提出一个可伸缩服务器体系架构,并在此基础上设计了一个手机联网游戏服务器通用架构,然后对此通用架构中的关键技术点及实现细节进行了详细的介绍。最后,利用Servlet编程技术,在此通用架构基础上开发了两个手机联网游戏的实例,对这个通用架构的可行性进行了验证。
一、培养新型农民在社会主义新农村建设的重要性1、社会主义新农村提出的背景近年来，随着经济、教育的发展，国防安全的需要，有大批的农民子弟进入大学、军队，有大批的农民到城市
银行系统计算机应用软件开发人民银行浙江省三门县支行鲍孝馥一、软件开发现状随着银行电子化建设步伐的加快，应用软件系统的开发愈益重要，其优劣将关系到软件推广的难易以及投
句子相似度计算在中文自然语言处理领域有着广泛的应用背景。要准确地刻画一个句子所表达的意思,必须深入到语义层面级并结合语法结构信息,提出了一种基于改进编辑距离和依存文法的汉语句子相似度计算方法。依存文法考虑到句子内部的结构和词语之间的相互作用关系,而编辑距离由于《同义词词林》的应用可以兼顾同义词之间的替换,因此该方法与其他方法相比,描述句子的信息更加全面,试验结果表明该方法是有效的。