( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Maudeling: Herramienta de gestión de modelos usando Maude.

, , , и . JISBD, стр. 409-410. Thomson Editorial, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Orencio Durán

María Carolina Durán Graeff

Vicente Durán Casas

Salvador Prieto Durán

Leonidas Durán-Moya

 

Другие публикации лиц с тем же именем

Models and analysis for user-driven reconfiguration of rule-based IoT applications., , , , и . Internet Things, (2022)Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.. J. Object Technol., 21 (4): 4:1-12 (2022)Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)., , , , и . Dagstuhl Reports, 9 (11): 97-116 (2019)Maude: specification and programming in rewriting logic., , , , , , и . Theor. Comput. Sci., 285 (2): 187-243 (2002)Dynamic Validation of OCL Constraints with mOdCL., и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)Robust and reliable reconfiguration of cloud applications., и . J. Syst. Softw., (2016)Exploiting Results of Model-Based Analysis Tools., , , , , и . Composing Model-Based Analysis Tools, Springer, (2021)Tracing Properties of UML and OCL Models with Maude, , и . AMMSE, том 56 из EPTCS, стр. 81-97. (2011)Object-Oriented Modules., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Core Maude Grammar., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)