Using Maude to write and execute ODP information viewpoint specifications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Francisco Durán, Manuel Roldán, Antonio Vallecillo. Using Maude to write and execute ODP information viewpoint specifications. Computer Standards & Interfaces, 27(6):597-620, 2005. [doi]

The following publications are possibly variants of this publication:

Writing and executing ODP computational viewpoint specifications using MaudeJosé Raúl Romero, Antonio Vallecillo, Francisco Durán. csi, 29(4):481-498, 2007. [doi]

Formalizing ODP Computational Viewpoint Specifications in MaudeJosé Raúl Romero, Antonio Vallecillo. edoc 2004: 212-223 [doi]

Using MaudeManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 31-37 [doi]

Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]

Formalizing ODP enterprise specifications in MaudeFrancisco Durán, Antonio Vallecillo. csi, 25(2):83-102, 2003. [doi]

Writing ODP Enterprise Specifications in MaudeFrancisco Durán, Antonio Vallecillo. woodpecker 2001: 55-68

runs on WebDSL