期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
一种支持软件演化过程描述语言的编译器的设计分析 被引量:3
1
作者 姜娜 孔浩 《绵阳师范学院学报》 2013年第2期99-102,共4页
软件演化过程描述语言是一种面向对象的可视化建模语言.使用软件演化过程描述语言,在建模过程中不仅可以建立整体的软件演化框架,还能以极强的描述能力在不同的抽象层次上描述演化过程.软件演化过程描述语言编译器作为软件演化过程的CAS... 软件演化过程描述语言是一种面向对象的可视化建模语言.使用软件演化过程描述语言,在建模过程中不仅可以建立整体的软件演化框架,还能以极强的描述能力在不同的抽象层次上描述演化过程.软件演化过程描述语言编译器作为软件演化过程的CASE环境的基础,基于Java的软件演化过程描述语言编译器的设计思想和实现方案,可以有效解决编译器平台性问题,具有良好的扩展性. 展开更多
关键词 软件演化过程 演化过程描述语言 巴科斯范式 编译程序
下载PDF
浅析软件演化过程描述语言的作用及特点 被引量:2
2
作者 姜娜 孔浩 《昆明学院学报》 2012年第3期89-91,共3页
在整个软件生命周期中,软件演化已成为其中一个日益重要的研究方向.软件演化过程用来建立软件演化的整体任务框架,可以提高软件演化的效率,但其描述力不足,难以在计算机中实现.软件演化过程描述语言作为面向对象的形式化建模语言,其较... 在整个软件生命周期中,软件演化已成为其中一个日益重要的研究方向.软件演化过程用来建立软件演化的整体任务框架,可以提高软件演化的效率,但其描述力不足,难以在计算机中实现.软件演化过程描述语言作为面向对象的形式化建模语言,其较强的描述力和易于在计算机中实现的特性,使它可以在不同的抽象层次上描述演化过程,且有利于对软件演化过程的控制、分析、度量和改进. 展开更多
关键词 软件演化 演化过程 元模型 描述语言
下载PDF
CEPDL:一个简约的软件演化过程建模语言
3
作者 刘金卓 白天罡 +2 位作者 于倩 王炜 代飞 《内蒙古大学学报(自然科学版)》 CAS 北大核心 2016年第1期102-107,共6页
随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process De... 随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础. 展开更多
关键词 软件演化过程 形式化验证 软件演化过程建模语言 模型检测
下载PDF
软件演化过程描述语言中继承语法的编译实现
4
作者 姜娜 孔浩 《昭通学院学报》 2013年第5期48-51,共4页
软件演化过程描述语言对软件演化过程进行形式化的建模,更容易描述软件过程并在计算机中实现.软件演化过程描述语言的语法描述明确定义了有继承特性的软件过程和活动,继承是整个软件演化过程描述语言的重点之一.本文阐述了软件过程和活... 软件演化过程描述语言对软件演化过程进行形式化的建模,更容易描述软件过程并在计算机中实现.软件演化过程描述语言的语法描述明确定义了有继承特性的软件过程和活动,继承是整个软件演化过程描述语言的重点之一.本文阐述了软件过程和活动在软件演化过程描述语言编译器中的实现方法,是整个编译器的核心,并为编译器的实现提供了理论基础. 展开更多
关键词 软件演化过程描述描述语言 演化过程 编译程序
下载PDF
CSDPL—一种基于CMM的软件过程定义语言
5
作者 费立蜀 宋健建 +1 位作者 顾庆 陈道蓄 《计算机科学》 CSCD 北大核心 2004年第5期77-81,共5页
软件过程是人和计算机化的工具交互完成的可能持续长时间的复杂实体。软件过程比商业过程自动化程度要低,因为需要更多的人的参与和软件工具的支持,也有更多不断持续改进的需求。软件过程首先要建模,因此建模语言扮演了一个非常关键的... 软件过程是人和计算机化的工具交互完成的可能持续长时间的复杂实体。软件过程比商业过程自动化程度要低,因为需要更多的人的参与和软件工具的支持,也有更多不断持续改进的需求。软件过程首先要建模,因此建模语言扮演了一个非常关键的角色。从管理的角度出发,CMM提出了一个软件过程概念框架。既要支持软件过程语言的要求的特性,又要支持CMM,基于CMM的软件过程定义语言必须把这个一般性和特殊性的要求结合起来。本文描述的软件过程定义语言CSPDL采用了图形和XML文本相结合的表示方式。同时,软件过程定义工具是支持建模的必需的支持。要尽量地支持软件过程语言的特性,还需要很多工作要做。 展开更多
关键词 CSDPL CMM 软件过程 定义语言 建模
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部