Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 3 / Issue 5

available in:   PDF (160 kB) PS (46 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-003-05-0666


Refining an ASM Specification of the Production Cell to C++ Code

Luca Mearelli (Università di Pisa, Italy)

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

Categories: D.1, D.1.3, D.1.5, D.2.1, D.2.4, D.2.5