Refining an ASM Specification of the Production Cell to C++ Code
| dc.creator | Mearelli,Luca | |
| dc.date | 1997 | |
| dc.date.accessioned | 2024-02-06T12:48:48Z | |
| dc.date.available | 2024-02-06T12:48:48Z | |
| dc.description | 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. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-003-05-0666 | |
| dc.identifier | https://lib.jucs.org/article/27365/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7158 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 3(5): 666-688 | |
| dc.subject | Programming Techniques | |
| dc.subject | Stepwise Refinement | |
| dc.subject | Code Documentation | |
| dc.subject | Code Inspection | |
| dc.subject | Abstract State Machines. | |
| dc.title | Refining an ASM Specification of the Production Cell to C++ Code | |
| dc.type | Research Article |