随笔分类 -  algebra

代数
图模式-续
摘要:--图模式(文法的设计模式)。 (omod PERSON is inc HUMAN . inc CONVERSION . inc CONFIGURATION . class Person | name : String, age : Int . subclass Person Str... 阅读全文

posted @ 2005-04-19 21:18 阿飞外传 阅读(1285) 评论(1) 推荐(0)

UML::Element的代数规范
摘要:学了这么久的maude,也没什么感觉,帖段代码吧。 (omod UML2-KERNEL-ELEMENT is pr UML2-BASE . sorts OwnedCommentRC OwnedElementRC . subsorts OwnedCommentRC OwnedElementRC ... 阅读全文

posted @ 2005-03-02 01:34 阿飞外传 阅读(1000) 评论(0) 推荐(0)

可靠性-泛代数的解释
摘要:可靠性与完备性的帖子对该概念的认识还不够,这里再增加一张图。仍感谢陈意云老师及其著作>。 阅读全文

posted @ 2004-11-07 01:10 阿飞外传 阅读(1054) 评论(0) 推荐(0)

可靠性与完备性
摘要:--部分内容来自陈意云老师的>,在此表示感谢。 阅读全文

posted @ 2004-11-03 11:51 阿飞外传 阅读(910) 评论(1) 推荐(0)

导航