符号逻辑方法相关硕士博士期刊学术论文 - 信丰网

符号逻辑方法相关论文

面向对象软件体系结构的形式化模型

软件体系结构设计中的形式化方法,一直是软件工程领域中的研究热点.而在面向对象环境中如何对体系结构进行形式化,以精确描述其静......

期刊

面向对象软件体系结构形式化模型静态结构动态交互行为符号逻辑方法 object-oriented software architecture forma

看过本文同时还关注