Article ID Journal Published Year Pages File Type
424090 Electronic Notes in Theoretical Computer Science 2009 18 Pages PDF
Abstract

One of the most effective ways of improving the quality of software engineering, system design and development, and communication between the people concerned with these problems, is provided by software patterns. In this paper we present a set of basic patterns for Maude metalanguage applications. We show the viability of the defined patterns by comparing them to the developing approaches for several well-known Maude tools.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics