Formal Methods in Software Engineering

Patterns for Maude Metalanguage Applications

Year2009
TypeConference
StatusPostproceedings
AuthorsEugen Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras

Links

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.

BibTeX

@article{GoriacCLAG09, author = {Eugen-Ioan Goriac and Georgiana Caltais and Dorel Lucanu and Oana Andrei and Gheorghe Grigoras}, title = {Patterns for Maude Metalanguage Applications}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {238}, number = {3}, year = {2009}, pages = {121-138}, publisher = {Elsevier}, url ={http://wrla08.cs.uiuc.edu/[WRLA 2008]}, url_publisher = {http://dx.doi.org/10.1016/j.entcs.2009.05.016} }