软件形式化与可视化软件模型的转换

来源 :计算机科学 | 被引量 : 0次 | 上传用户：jskrrockboy

【摘要】

：

It is an important issue in Software Engineering that combined the formal development method with the vi-sual development method. This study is about the transf

【作者】

：

周彦晖张为群

【机构】

：

西南师范大学计算机与信息科学学院重庆400715

【出处】

：

计算机科学

【发表日期】

：

2003年7期

【关键词】

：

面向对象软件开发软件形式化可视化软件模型 Formalize Visualize UML RAISE Model transformation

【基金项目】

：

教育部和重庆市"软件工程可视形式化"项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

It is an important issue in Software Engineering that combined the formal development method with the vi-sual development method. This study is about the transform method and rules between the UML model and theRAISE model. At last try to put this technolo

其他文献

晋阳高速公路事故多发路段事故成因分析及对策

对晋阳高速两段事故多发路段的事故原因进行分析,研究提出了两路段处治对策,最大限度避免交通事故的发生,保证行车安全.

期刊

事故多发路段事故原因处治对策Accident blackspot Accident cause Handling methods

ZnO纳米粉对压敏陶瓷材料显微结构和电学特性的影响

用ｓｏｌ－ｇｅｌ方法制备掺杂的ＺｎＯ纳米粉体，分析讨论了这种粉体对材料显微结构，材料电学特性如非线性系数，压敏电压和介电特性的影响，与传统方法制成的粉体相比，ｓｏｌ－ｇｅｌ方法制成的纳米粉人有掺杂均匀，晶粒

期刊

纳米粉显微结构电学特性氧化锌压敏陶瓷ZnO nanometer powders sol-gel microstucture electrical

Nb镀层对c—BN—玻化陶瓷结合剂界面成分结构的影响

用ＤＴＡ、ＸＲＤ、ＳＥＭ、ＥＰＭＡ等研究了Ｎｂ镀层与ｃ－ＢＮ晶体在６００－１０００℃范围的界面反应过程、界面成分和结构特征，讨论了烧结时Ｎｂ镀层与ＳｉＯ２－Ｎａ２Ｏ－Ｂ２Ｏ３玻化结合剂的作用，结果表明：Ｎｂ镀与ｃ－ＢＮ晶体在６００℃以上发生界面反应，外延生长形成ＮｂＮ，８００℃以上形成

期刊

立方氮化硼硼硅玻璃界面结合剂铌镀层Nbeladding c-BN borosilicateglass interface

形式概念分析与软件过程改进

The paper focuses on the method of formal concept analysis in data analyzing for software process improve-ment. It sets up that not only the Software Quality Gu

期刊

形式概念分析软件质量数据分析方法软件过程软件工程Formal concept Concept lattice Process improvemen

高密度聚乙烯—炭黑（HDPE—C）PTC材料的导电机制

利用炭黑与高密度聚乙烯复合制成了具有ＰＴＣ功能的导电材料（ＨＤＰＥ－Ｃ），根据目前各种导电理论，提出“晶界”导电模型，并推导出了炭黑的填加量（Ｌ）、高聚物结晶体大小（α）、碳粒子半径（ｒｃ）、碳粒子间距（ｘ）之间

期刊

PTC导电塑料炭黑

注浆技术在高速公路路基开裂问题处理中的应用

以注浆技术处理高速公路路基沉降、开裂问题工程实例为依托,从注浆方法、施工工艺及质量控制要点等方面进行了详细的论述,以便为以后类似工程注浆技术的应用提供一些参考.

期刊

高速公路注浆技术路基开裂路基沉降Highway Grouting technology Embankment cracking Subgrad

泛逻辑的基本形式演绎系统UL及其可靠性

1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注,但是,由于

期刊

泛逻辑UL系统可靠性基本形式演绎Universal logicFormal deductive system ULValuation of ty

面向虚拟企业联盟的多级信息滤波体系设计与实现

This paper describes a multi-level filtering information based on the CORBA for the virtual enterprise. Thedistributed agent and artificial intelligent technolo

期刊

多级信息滤波体系设计广域网动态信息集成系统虚拟企业联盟VE(Virtual Enterprise)Multiple agent Informati

网格实例与关键技术分析

过去的几年中,随着网格计算的出现和网格技术的成熟应用,很多现成的网格工具能够支持在局域网甚至广域网上搭建网格,众多的客户端和服务器的计算资源可以被这些网格整合起来,

期刊

局域网广域网网格体系结构网格实例服务器计算机网络Grid computing Grid architecture Data grid compo

基于不一致数据库的缺省加权规则挖掘算法

In paper [2], Mollestad and Skowron propose an algorithm excavating the default regular from the inconsistent data. But,the algorithm can't fitter noises ef

期刊

数据库数据挖掘系统缺省加权规则挖掘算法不一致性数据Rough set Inconsistent databaseDefault regular mi

软件形式化与可视化软件模型的转换

与本文相关的学术论文