JUCS - Journal of Universal Computer Science 3(5): 666-688, doi: 10.3217/jucs-003-05-0666
Refining an ASM Specification of the Production Cell to C++ Code
expand article infoLuca Mearelli‡
‡ Università di Pisa, Italy

Corresponding author: Luca Mearelli ( luca@tex.odd.it )

© Luca Mearelli.
This article is freely available under the J.UCS Open Content License.
Citation: Mearelli L (1997) Refining an ASM Specification of the Production Cell to C++ Code. JUCS - Journal of Universal Computer Science 3(5): 666-688. https://doi.org/10.3217/jucs-003-05-0666
Open Access
Abstract
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.
Keywords
Programming Techniques, Stepwise Refinement, Code Documentation, Code Inspection, Abstract State Machines.