莫德

Maude是一种高性能的反射式语言和系统,它支持等式和重写逻辑规范,并为各种应用程序编程。在语言的亚语言中,被认为是重要的语言。除了支持等式规范和编程外,Maude还支持重写逻辑计算。


zbMATH中的参考文献(参考 655篇文章,3标准条款)

显示结果621到640,共655个。
按年份排序(引用)
  1. Goguen,Joseph;Lin,Kai;Rosu,Grigore:行为和创造性重写(2000)
  2. Mason,Ian A.;Talcott,Carolyn L.:Maude内的简单网络协议模拟(2000)
  3. Meseguer,José:在Maude中指定、分析和编程通信系统(2000)
  4. 梅斯盖尔,何塞:重写逻辑与Maude:概念与应用(2000)
  5. JoséMeseguer:重写逻辑和maude:基于对象的分布式系统的广谱语义框架(2000)
  6. Olveczky,Peter Csaba;Meseguer,Jose:实时Maude:用于模拟和分析实时和混合系统的工具(2000)
  7. Rodriguez,Dilia E.:Maude协议规范和分析的案例研究(2000)
  8. Stehr,Mark Oliver:CINNI——显式替换的一般演算及其在(\lambda)-(\sigma)和(\pi)-计算中的应用(2000)
  9. Talcott,Carolyn L.:走向演员系统规范工具包(2000)
  10. TovalÁlvarez,Ambrosio;Fernández Alemán,JoséLuis:形式化建模UML及其演化:整体方法(2000)
  11. 阿尔伯托,威尔德乔;皮塔,伊莎贝尔;玛蒂奥利特,纳西索:在莫德的IEEE 1394的领导者选举协议(2000)
  12. 杜兰,弗朗西斯科;梅斯盖尔,何塞:结构化理论与制度(1999)
  13. 马丁奥利特,纳西索;梅斯盖尔,何塞:《重写逻辑中的行动与变化》(1999)
  14. Bruni,R.;Meseguer,J.;Montanari,U.:重写tile系统实现的内部策略(1998)
  15. Bruni,Roberto:异步和同步并发系统的逻辑模块描述(1998)
  16. 克莱维尔,曼纽尔:反思在一般逻辑,重写逻辑,和莫德(1998)
  17. Clavel,M.;Durán,F.;Eker,S.;Lincoln,P.;MartíOliet,n.;Mesaguer,J.;Quesada,J.F.:作为元语言的Maude(1998)
  18. Clavel,M.;Durán,F.;Eker,S.;Lincoln,P.;MartíOliet,n.;Meseguer,J.:Maude的金属层计算(1998)
  19. 《砂砾:从重写理论到时间逻辑理论》(1998)
  20. 杜兰,弗朗西斯科;梅斯盖尔,何塞:Maude的可扩展模代数(1998)