Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Domain Specific Languages


Citation: Philipp W. Kutter, Daniel Schweizer, and Lothar Thiele, "Integrating Domain Specific Language Design in the Software Life Cycle", in Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Springer Lecture Notes in Computer Science, 1998.
Summary: A report on an industrial case study, applying Montages to the design and specification of a domain-specific language.
Subjects: Montages, Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: