【摘 要】
：
面向对象技术是当前软件开发的主流技术,UML已成为面向对象事实上的工业标准;ITU-T制定的SDL是一种应用较为广泛的形式规范语言.为了有效地结合面向对象技术和形式化方法各自
论文部分内容阅读
面向对象技术是当前软件开发的主流技术,UML已成为面向对象事实上的工业标准;ITU-T制定的SDL是一种应用较为广泛的形式规范语言.为了有效地结合面向对象技术和形式化方法各自的优点,该文研究了一种基于UML和SDL的软件开发方法.该文首先阐述了面向对象技术和形式化方法的优势和不足,分析了UML和SDL这两种代表性语言的特性及其结合用于软件开发的可行性与结合的三种方式.在此基础上给出了UML模型和SDL规范之间的映射和转换规则.最后,初步实现了转换工具的原型,并通过地铁自动售票系统的设计实例,展示了该软件开发方法的具体过程.
其他文献
随着数字视频数据量的增加,急需一种基于内容对视频片段进行快速检索和测览的技术,这一技术便是基于内容的视频检索技术,目前,该技术已成为国际上多媒体领域研究的一个热点问
为了有效解决企业信息发布多样性、不确定性、实时性和低成本的问题,本文从柔性软件理论和信息发布系统领域两个方面,对国内外研究现状进行了深入分析的基础上,对柔性企业信
该文分析了多层感知器的分类机理,提出在输入空间中隐基本函数所决定的超平面并不起到分界面的作用.该文认为隐节点数只与类别数和样本在输入空间的分布情况这两个因素有关.
对称群的计算机图形化研究已成为当今科学研究中的热点问题,许多科学家已经对二维、多维空间的对称群进行了研究.该文在Sprott等人的研究成果基础上,实现了随机搜索饰带群映
Internet作为一个全世界信息发布和交流的中心，正在改变人们对信息处理的传统观念。XML具有自描述特点，支持用户自定义标记标明数据的语义，逐渐成为Internet中信息描述和信息交
Hadoop平台已经成为大数据处理的主流平台，然而随着数据处理任务的业务和技术复杂性越来越高，企业单纯使用Hadoop平台解决此类问题遇到越来越多的问题:MapReduce任务模型难以描
Internet是一个超分布超并行的复杂的非线性系统,Internet中的信息是一个更复杂的分布并行海量系统.目前的信息利用基本上采用的是集中式网络计算,这大大的限制了网络资源的
对等网(Peer to Peer,简称P2P)技术是Internet上的一种分散式控制的网络技术,它使Internet的应用从中央服务器模式向网络设备边缘化方向发展.随着网格技术发展,P2P技术又一次
Web使用挖掘作为一个提高千万Internet用户利用Web资源效率的重要手段,越来越受到关注.它能够从访问者的访问行为中获取具有共性的知识,并利用这些知识来有效地提高网站服务
该文的工作便是基于生物特征识别(Biometrics)自动掌纹诊病系统中一个非常重要的模块——掌纹纹线特征提取.该文提出的基于高斯滤波的多方向掌纹纹线提取算法(MOGF算法)便能