文章基本信息

标题：Refining an ASM Specification of the Production Cell to C++ Code
本地全文：下载
作者：Luca Mearelli
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：1997
卷号：3
期号：5
页码：666-688
出版社：Graz University of Technology and Know-Center
摘要：We present here the transformation to C++ code of the refined ASM mode l for the production cell developed in the paper "Integrating ASMs into the Softw are Development Life Cycle" (see this volume) which serves as program documentation. This implementation is a refinement step and produces code which has been valida ted through extensive experimentation with the production cell simulator of FZI Karlsruhe.