%0 Conference Paper %1 reeve_00_μ-charts %A Reeve, Greg %A Reeves, Steve %D 2000 %J Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific %K mu-charts _hardcopy statecharts _folder_3 z 2000 %P 258--263 %R 10.1109/APSEC.2000.896707 %T ^I¼-Charts and Z: examples and extensions %U http://dx.doi.org/10.1109/APSEC.2000.896707 %X ^I¼-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating ^I¼-charts to Z, which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development. We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the ^I¼-charts and the related Z to deal with a simple command language, local variables and integer-valued signals

@inproceedings{reeve_00_μ-charts, abstract = {^{I}¼-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating ^{I}¼-charts to Z, which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development. We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the ^{I}¼-charts and the related Z to deal with a simple command language, local variables and integer-valued signals}, added-at = {2009-02-12T11:40:42.000+0100}, author = {Reeve, Greg and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/2e7b62eec781cd0b3272e673680c518bd/leonardo}, citeulike-article-id = {804385}, doi = {10.1109/APSEC.2000.896707}, interhash = {401266a106f6b389354313a1d9a97da4}, intrahash = {e7b62eec781cd0b3272e673680c518bd}, journal = {Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific}, keywords = {mu-charts _hardcopy statecharts _folder_3 z 2000}, pages = {258--263}, posted-at = {2006-08-17 18:56:08}, priority = {2}, timestamp = {2009-02-12T11:40:42.000+0100}, title = {^{I}¼-Charts and Z: examples and extensions}, url = {http://dx.doi.org/10.1109/APSEC.2000.896707}, year = 2000 }