﻿<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/" xmlns:wfw="http://wellformedweb.org/CommentAPI/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/"><channel><title>博客园-阿飞外传-随笔分类-algebra</title><link>http://www.cnblogs.com/xiterator/category/12602.html</link><description>模型驱动思想</description><language>zh-cn</language><lastBuildDate>Thu, 22 May 2008 12:03:19 GMT</lastBuildDate><pubDate>Thu, 22 May 2008 12:03:19 GMT</pubDate><ttl>60</ttl><item><title>图模式-续</title><link>http://www.cnblogs.com/xiterator/archive/2005/04/19/140791.html</link><dc:creator>阿飞外传</dc:creator><author>阿飞外传</author><pubDate>Tue, 19 Apr 2005 13:18:00 GMT</pubDate><guid>http://www.cnblogs.com/xiterator/archive/2005/04/19/140791.html</guid><wfw:comment>http://www.cnblogs.com/xiterator/comments/140791.html</wfw:comment><comments>http://www.cnblogs.com/xiterator/archive/2005/04/19/140791.html#Feedback</comments><slash:comments>1</slash:comments><wfw:commentRss>http://www.cnblogs.com/xiterator/comments/commentRss/140791.html</wfw:commentRss><trackback:ping>http://www.cnblogs.com/xiterator/services/trackbacks/140791.html</trackback:ping><description><![CDATA[&nbsp;&nbsp;&nbsp;&nbsp; 摘要: --图模式（文法的设计模式）。(omodPERSONis&#160;&#160;&#160;incHUMAN.&#160;&#160;&#160;incCONVERSIO...&nbsp;&nbsp;<a href='http://www.cnblogs.com/xiterator/archive/2005/04/19/140791.html'>阅读全文</a><img src ="http://www.cnblogs.com/xiterator/aggbug/140791.html?type=1" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://xiterator.cnblogs.com/" target="_blank">阿飞外传</a> 2005-04-19 21:18 <a href="http://www.cnblogs.com/xiterator/archive/2005/04/19/140791.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>UML::Element的代数规范</title><link>http://www.cnblogs.com/xiterator/archive/2005/03/02/111085.html</link><dc:creator>阿飞外传</dc:creator><author>阿飞外传</author><pubDate>Tue, 01 Mar 2005 17:34:00 GMT</pubDate><guid>http://www.cnblogs.com/xiterator/archive/2005/03/02/111085.html</guid><wfw:comment>http://www.cnblogs.com/xiterator/comments/111085.html</wfw:comment><comments>http://www.cnblogs.com/xiterator/archive/2005/03/02/111085.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cnblogs.com/xiterator/comments/commentRss/111085.html</wfw:commentRss><trackback:ping>http://www.cnblogs.com/xiterator/services/trackbacks/111085.html</trackback:ping><description><![CDATA[&nbsp;&nbsp;&nbsp;&nbsp; 摘要: 学了这么久的maude，也没什么感觉，帖段代码吧。(omodUML2-KERNEL-ELEMENTisprUML2-BASE.sortsOwnedCommentRCOw...&nbsp;&nbsp;<a href='http://www.cnblogs.com/xiterator/archive/2005/03/02/111085.html'>阅读全文</a><img src ="http://www.cnblogs.com/xiterator/aggbug/111085.html?type=1" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://xiterator.cnblogs.com/" target="_blank">阿飞外传</a> 2005-03-02 01:34 <a href="http://www.cnblogs.com/xiterator/archive/2005/03/02/111085.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>可靠性-泛代数的解释</title><link>http://www.cnblogs.com/xiterator/archive/2004/11/07/61138.html</link><dc:creator>阿飞外传</dc:creator><author>阿飞外传</author><pubDate>Sat, 06 Nov 2004 17:10:00 GMT</pubDate><guid>http://www.cnblogs.com/xiterator/archive/2004/11/07/61138.html</guid><wfw:comment>http://www.cnblogs.com/xiterator/comments/61138.html</wfw:comment><comments>http://www.cnblogs.com/xiterator/archive/2004/11/07/61138.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cnblogs.com/xiterator/comments/commentRss/61138.html</wfw:commentRss><trackback:ping>http://www.cnblogs.com/xiterator/services/trackbacks/61138.html</trackback:ping><description><![CDATA[&nbsp;&nbsp;&nbsp;&nbsp; 摘要: 可靠性与完备性的帖子对该概念的认识还不够，这里再增加一张图。仍感谢陈意云老师及其著作&lt;&lt;程序设计语言理论&gt;&gt;。&#160;&nbsp;&nbsp;<a href='http://www.cnblogs.com/xiterator/archive/2004/11/07/61138.html'>阅读全文</a><img src ="http://www.cnblogs.com/xiterator/aggbug/61138.html?type=1" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://xiterator.cnblogs.com/" target="_blank">阿飞外传</a> 2004-11-07 01:10 <a href="http://www.cnblogs.com/xiterator/archive/2004/11/07/61138.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>可靠性与完备性</title><link>http://www.cnblogs.com/xiterator/archive/2004/11/03/59902.html</link><dc:creator>阿飞外传</dc:creator><author>阿飞外传</author><pubDate>Wed, 03 Nov 2004 03:51:00 GMT</pubDate><guid>http://www.cnblogs.com/xiterator/archive/2004/11/03/59902.html</guid><wfw:comment>http://www.cnblogs.com/xiterator/comments/59902.html</wfw:comment><comments>http://www.cnblogs.com/xiterator/archive/2004/11/03/59902.html#Feedback</comments><slash:comments>1</slash:comments><wfw:commentRss>http://www.cnblogs.com/xiterator/comments/commentRss/59902.html</wfw:commentRss><trackback:ping>http://www.cnblogs.com/xiterator/services/trackbacks/59902.html</trackback:ping><description><![CDATA[&nbsp;&nbsp;&nbsp;&nbsp; 摘要: &#160; 

--部分内容来自陈意云老师的&lt;&lt;程序设计语言理论&gt;&gt;，在此表示感谢。&nbsp;&nbsp;<a href='http://www.cnblogs.com/xiterator/archive/2004/11/03/59902.html'>阅读全文</a><img src ="http://www.cnblogs.com/xiterator/aggbug/59902.html?type=1" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://xiterator.cnblogs.com/" target="_blank">阿飞外传</a> 2004-11-03 11:51 <a href="http://www.cnblogs.com/xiterator/archive/2004/11/03/59902.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item></channel></rss>