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
Open Access
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.
Programming Techniques, Stepwise Refinement, Code Documentation, Code Inspection, Abstract State Machines.