object-oriented programming; specification languages; software architecture; formal specification; formal verification; graph theory; rewriting systems; unified graph-based framework; dynamic component-based architecture description; model oriented formal approach; dynamic component-based architecture specification; dynamic component-based architecture verification; functional approach; structural approach; Z specification language; system evolution; graph-rewriting rule; structural constraints; functional constraints; Z notation; Z-EVES analysis tool; architectural style; software architecture; component-based application; formal specification;
机译:具有多个辐条的单个“枢纽”是否准确描述了动作语义的神经结构? van Elk,van Schie和Bekkering对“动作语义学:选择性使用多模式和特定于形式的对象知识的统一概念框架”的评论
机译:基于图形的进化多任务超高启发式的统一框架
机译:权力分水岭:基于统一图的优化框架
机译:朝向统一的基于图形的基于组件的体系结构描述的框架Z
机译:研究软件系统体系结构衰减的统一框架。
机译:基于组件的神经元离子通道动力学仿真的FPGA设计框架
机译:权力分水岭:基于图的统一优化框架
机译:Uniframe:开发面向服务的,基于组件的分布式软件系统的统一框架