%0 Conference Paper %1 citeulike:227620 %A Börger, Egon %A Pappinghaus, Peter %A Schmid, Joachim %B Abstract State Machines %D 2000 %K design software %P 361--366 %T Report on a Practical Application of ASMs in Software Design %U http://citeseer.ist.psu.edu/borger00report.html %X ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables for railway systems. For simulation the whole closed-loop traffic control system is modelled within FALKO. The railway process model part of FALKO was formally specified using the ASM approach. C++ code is generated from the formal specification and compiled together with the handwritten C++ code of the other...

@inproceedings{citeulike:227620, abstract = {ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables for railway systems. For simulation the whole closed-loop traffic control system is modelled within FALKO. The railway process model part of FALKO was formally specified using the ASM approach. C++ code is generated from the formal specification and compiled together with the handwritten C++ code of the other...}, added-at = {2007-08-18T13:22:24.000+0200}, author = {B\"orger, Egon and Pappinghaus, Peter and Schmid, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/2a59175c62790931db0c74c7c727d7496/a_olympia}, booktitle = {Abstract State Machines}, citeulike-article-id = {227620}, description = {citeulike}, interhash = {e5b4a00351c54a6655b2ceb1380dca72}, intrahash = {a59175c62790931db0c74c7c727d7496}, keywords = {design software}, pages = {361--366}, priority = {2}, timestamp = {2007-08-18T13:22:46.000+0200}, title = {Report on a Practical Application of ASMs in Software Design}, url = {http://citeseer.ist.psu.edu/borger00report.html}, year = 2000 }