随笔分类 -  IP

意图编程
CGN的IP之父访谈的两句话
摘要:以下内容引自 CGN的IP之父访谈 http://www.codegeneration.net/tiki-read_article.php?articleId=61Charles: Companies are storing plans for skyscrapers, for whole airp... 阅读全文

posted @ 2004-11-07 02:42 阿飞外传 阅读(714) 评论(0) 推荐(0)

由模型转换正确性所想
摘要:--模型转换正确性 --如果不能意识到建模者的意图(领域意图),就谈不上语义,也谈不上模型转换的正确性。 模型转换正确性--从规范的角度来讲,就是规范的满足性,在转换前后得到(以某程现象的)保持。如:按代数语义的model定义:t1=E=t2 -> eval(t1)=eval(t2)--... 阅读全文

posted @ 2004-10-18 18:19 阿飞外传 阅读(830) 评论(0) 推荐(0)

IP技术url
摘要:意图编程官方网站: http://intentsoft.com/ 意图编程FAQ http://www.omniscium.com/index.asp?page=IntentionalFaq 计算机语言已死,意图编程重生(by Charles Simonyi) ht... 阅读全文

posted @ 2004-08-16 00:39 阿飞外传 阅读(477) 评论(0) 推荐(0)

导航