Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/gemmex.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Matthias Anlauff, Philipp W. Kutter and Alfonso Pierantonio, "Formal Aspects of and Development Environments for Montages", in M. Sellink, ed., 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam, 1997, Springer Workshops on Computing. |
|---|---|
| Summary: | A description of the use of Montages and the Gem-Mex tool, with some small examples. |
| Subjects: | Interpreters & Tools, Montages |
| Download: | PostScript, PDF, Compressed PostScript. |
| Notes: | The Gem-Mex tool has its own home page, http://www.first.gmd.de/~ma/gem/. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/gemmex.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT