Refining an ASM Specification of the Production Cell to C++ Code
Дата
Авторы
Mearelli,Luca
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.