属性图文法相关论文
随着软件系统的规模和复杂度的不断增大，软件开发所关注的焦点已不再是算法和数据结构，而是作为软件系统总体结构和组织的软件体系结......
在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检......
属性图文法广泛应用在软件设计阶段建模和分析阶段.命题式时序逻辑（propositional temporal logic）无法直接表达建模实体包含随时间......
图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化......
