云南高校图书馆联盟文献共享服务平台- 软件演化过程

软件演化过程: 作品数：22被引量：27H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：李彤谢仲文刘金卓于倩代飞更多>>; 相关机构：云南大学云南农业大学云南省科学技术院南通大学更多>>; 相关期刊：《科技创新导报》《计算机应用与软件》《计算机应用研究》《绵阳师范学院学报》更多>>; 相关基金：国家自然科学基金云南省教育厅科学研究基金云南省自然科学基金云南省科技厅科研基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

一种软件演化过程模型的代数语义被引量：13: 《软件学报》2012年第4期846-863,共18页代飞李彤谢仲文于倩卢萍郁涌赵娜; 国家自然科学基金(60963007);云南省软件工程重点实验室开放基金(2010KS01;2011SE04); 随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代...; 关键词：软件演化过程过程验证代数语义 PETRI网 ACP(algebra of COMMUNICATING processes)