通信进程代数相关硕士博士期刊学术论文 - 搜论网

通信进程代数相关论文

一种将需求模型转换为软件体系结构模型的方法

需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型，以扩展Petri网风格的SA......

会议

需求模型软件体系结构通信进程代数 Petri网行为

一种将需求模型转换为软件体系结构模型的方法

需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的S......

期刊

需求模型软件体系结构通信进程代数 Petri网行为

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状，在分析软件动态演化面临的挑战的基础上，设计了面向动态演化的需求元模型（dynami......

期刊

需求工程软件动态演化特征通信进程代数规范化

看过本文同时还关注