软件体系结构的数学论域
Journal of Wuhan University of Hydraulic and Electric Engineering（2003）
摘要
把两个数学集合 SAC和定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.
更多查看译文
关键词
Software Architecture
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要