软件体系结构的行为求精
李长云 文志华 廖立君
湖南工业大学计算机与通信学院,湖南株洲412008
摘 要:
在D-ADL规约框架下,给出了软件体系结构的行为求精形式化规则：构件的行为求精应符合进程观察弱模拟关系,连接件的行为求精应符合进程分支弱模拟关系。
学科分类:
TP311[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程]相关文章:
主题相关
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com