共代数方法相关论文
近年来，随着嵌入式系统结构的日益复杂化，传统手工式的嵌入式软件开发方法已经不能适应市场的需求。基于组件的软件工程方法在通用领......
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给......
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方......
