تصفح Computer Science & Engineering حسب الموضوع "E-commerce"
السجلات المعروضة 1 -- 1 من 1
-
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
( IEEE , 2003 , Conference Paper)Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ...