Using Maude to write and execute ODP information viewpoint specifications

✍ Scribed by Francisco Durán; Manuel Roldán; Antonio Vallecillo

• Book ID: 113557943
• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 817 KB
• Volume: 27
• Category: Article
• ISSN: 0920-5489
• DOI: 10.1016/j.csi.2004.10.008