首页 /研究 /Reasoning (on) Service Component Ensembles in Rewriting Logic
OTHER

Reasoning (on) Service Component Ensembles in Rewriting Logic

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing

发表年份
2014
引用次数
30

关键词

Semantic reasonerComputer scienceRewritingComponent (thermodynamics)Programming languageSimple (philosophy)SoftwareSoftware engineeringComponent-based software engineeringLogic programming

相关论文

查看 OTHER 分类全部论文